рейтинг блогов

Квадранты типизации в языках программирования

топ 100 блогов love5an25.03.2011 Устал от того, что люди путают динамическую типизацию со слабой или называют лисп бестиповым.
Поэтому нарисовал вот такую картинку.
Виды типизации

(*) Java, C# и Obj-c обладают возможностями динамической типизации. Например, боксинг в Object в Java и C#. Кроме того, в C# 4.0 ввели новое ключевое слово dynamic.
(**) В CL и Clojure присутствуют опциональные декларации типов, так что можно считать, что в них есть немного статической типизации. Современные реализации Common Lisp проводят агрессивный вывод типов при компиляции.
(***) Форт и языки ассемблера принято считать бестиповыми. Но, машинные слова разного размера это ведь тоже типы какие-никакие.

Вообще же, отличия вот в чем - статическая типизация предполагает проверку типов на этапе трансляции кода, динамическая - на этапе его выполнения. Сильная типизация предполагает множество проверок типов и минимум неявных преобразований между данными разных типов, а слабая - минимум проверок и максимум неявных преобразований.

Upd: вот еще Квадранты типизации в языках программирования [info]jtootf подкинул ссылку: blogs.perl.org/users/ovid/2010/08/what-to-know-before-debating-type-systems.html

Оставить комментарий

Предыдущие записи блогера :
Архив записей в блогах:
...
Когда-то я была на семинаре по гештальт-терапии. Было это 5 лет назад)). Я многое оттуда вынесла, и в частности такое: выбросьте ваших родителей в мусорное ведро. Точнее это я вынесла из того же Фридрика Перлза готом позже, а на семинаре как раз все ...
Друг за друга - горой! С другой стороны "напали друг на друга", "друг другу строят козни".. - Что за друзья такие? - Так это краткое от "другой" всего лишь, "один другого": "друг друга лучше", как "мал мала меньше". "Другими словами" = "иными словами" Но, не так всё просто. ...
Авторша пишет: "Пилот авиакомпании S7 (Сибирь) избивает жену га глазах сына. Вот такое поведение позволяет себе второй пилот компании в последствии употребления алкоголя и наркотических веществ. Это лицо нашей гражданской авиации!". С большой долей вероятности это Казань. ...
Первый раз это случилось, когда девочке было шесть лет Уже окончено расследование уголовного дела в отношении 50-летнего жителя города Чернушки – милиционера, отработавшего в «органах» более 20 лет. Он обвиняется в том, что на протяжении пяти ...