Книга об основных типах данных и типизации, сравнении преимуществ статической и динамической типизации в языках программирования