Обсуждение:Сильная и слабая типизация

Проект «Информационные технологии» Эта статья тематически связана с вики-проектом «Информационные технологии», цель которого — создание и улучшение статей по темам, связанным с информационными технологиями. Вы можете её отредактировать, а также присоединиться к проекту, принять участие в его обсуждении и поработать над требуемыми статьями. ??? Статью ещё никто не оценил по шкале оценок проекта «Информационные технологии»

> Единственный практически используемый язык программирования со строгой статической типизацией — это Ада.

Некорректная информация. Haskell, OCaml - практически используемые языки со строгой статической типизацией. 95.67.193.14 13:05, 31 июля 2011 (UTC)ololo[ответить]

> Довольно большое число распространённых языков программирования используют нестрогую статическую типизацию. К таким языкам относятся, например Pascal, Модула-2, Fortran.

Почему это противоречит этой статье: Паскаль

>Типизация данных: статическая, Сильная типизация, безопасная (англ. Type safety)

178.150.124.26 20:47, 12 июля 2013 (UTC)[ответить]

С уважением, Олег.

Общепринято считать, что Паскаль является языком с сильной типизацией. Можно, например, посмотреть аналогичную статью про Паскаль на англоязычной вики.

С уважением, Григорий.

В статье есть вот такая вот фраза:

> неявного приведения практически любых типов друг к другу (как, например, в классическом языке Си) эти

Это не совсем корректно, ибо даже в классическом Си отнюдь не любые типы приводились друг к другу неявно.

• Да, вы можете таким образом приводить целые типы данных неявно, если это не приводит к потере данных.
  Хотя даже так можно нарваться на неприятности.
• Можете неявно приводить целые к вещественным, но не обратно.
  Вещественные к целым можно только явно. Как-то так:

int a = 3;
float b = (float)a;