Кстати, а где Уэст про динамическую типизацию писал? Он же про классический ООП, там всюду вполне себе статическая типизация сообщений.
Что такое классические ООП? Классы?
Если так то вам пора перечитать книгу. Он как раз из другого мира. Он про то что это не про ООП, ровно как Ява и си++. Все эти ошибки понимания ООП.