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

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

топ 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

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

Предыдущие записи блогера :
Архив записей в блогах:
Исполнение и цель немного иные чем раньше но таки жалюзи радиатора в полный рост. UPD: Цель снижение аэродинамического сопротивления на целых 0,02 с 0,26 до ...
Полиция обнаружила двух китов-косаток, которых держат в ржавых топливных цистернах у павильона «Электрификация» на территории ВДНХ. Об этом сообщает пресс-служба организации по защите прав животных «Вита». Зоозащитники рассказали, что в интернете и СМИ появилась информация со ссылкой н ...
2 февраля 1956 года провели операцию «Байкал» — запустили сконструированную под руководством Сергея Королёва дальнобойную ракету Р-5М с головной частью,  снаряжённой ядерным зарядом. Пуск решили провести с испытательного полигона Капустин Яр, находившегося в пустынном регионе ...
Сколько не рыпались, сколько на коврик не гадили, на вентилятор не накидывали, а Мистер Дональд J Трамп стал таки президентом Соединенных Штатов Америки. И теперь перва дудка скрипка в его руках. Будем посмотреть, имеем мы ысчо одного Паганини или другого Мойсейчика с Малой ...
glavbushka мой сайт: buhlabaz.ru ...