Сравнение языков программирования по системе типов - Comparison of programming languages by type system

Это сравнение характеристик системы типов и проверка типа из нескольких языки программирования.

Краткие определения

  • А система номинального типа означает, что язык определяет, являются ли типы совместимыми и / или эквивалентными, на основе явных объявлений и имен.
  • А система структурного типа означает, что язык решает, являются ли типы совместимыми и / или эквивалентными, на основе определения и характеристик типов.
  • Проверка типа определяет, проверяются ли типы и когда. Статическая проверка означает, что об ошибках типа сообщается на основе текста программы (исходного кода). Динамическая проверка означает, что об ошибках типа сообщается в зависимости от динамического поведения программы (во время выполнения).
ЯзыкБезопасность типовВыражение типаСовместимость типов и эквивалентностьПроверка типа
ActionScript 3.0сильныйнеявный с необязательной явной типизациейстатический
Адасильный[TS 1]явныйноминальныйстатический
Алдорслабыйскрытыйстатический
АЛГОЛ 58сильныйявныйстатический
АЛГОЛ 60сильныйявныйстатический
АЛГОЛ 68сильныйявныйструктурныйстатический и отмеченные союзы
APLсильныйдинамичный
AutoHotkeyбессмысленныйн / дн / дн / д
Ateji PXсильныйявныйноминальныйстатический
Баш????
БАЗОВЫЙсильныйявныйноминальныйстатический
БЛАЖЕНСТВОбессмысленныйн / дн / дн / д
BeanShellсильныйноминальныйдинамичный
Бусильныйнеявный с необязательной явной типизациейстатический с необязательной динамической типизацией
братансильныйнеявный с необязательной явной типизациейноминальныйстатический
Cслабыйявныйноминальныйстатический
C ++ (ISO / IEC 14882 )слабыйявный с необязательной неявной типизацией (с использованием auto в C ++ 11)номинальныйстатический[TS 2]
C #слабый[TS 3]неявный с необязательной явной типизациейноминальныйстатический[TS 4]
Чистыйсильныйскрытыйстатический
Clojureсильныйнеявный с необязательной явной типизациейдинамичный
КОБОЛсильныйявныйноминальныйстатический
Холодный синтез (CFML)сильныйскрытыйдинамичный
Common Lispсильныйнеявный с необязательной явной типизациейструктурный для неявной типизации, номинальный для явной типизациидинамическая, некоторая статическая проверка (в зависимости от реализации)
Завитоксильныйноминальный
Cythonсильныйнеявный с необязательной явной типизациейноминальный (типы расширения) и структурный (Python)динамический с дополнительной статической типизацией
Dслабый[TS 3]явныйноминальныйстатический
Дилансильныйдинамичный
Эйфельсильныйноминальныйстатический
Эликсирсильныйскрытыйдинамичный
Erlangсильныйскрытыйдинамичный
Эйфориясильныйявный, неявный с объектаминоминальныйстатический, динамический с объектами
F #сильныйскрытыйноминальныйстатический
Четвертыйбессмысленныйн / дн / дн / д
Фортрансильныйявный[TS 5]номинальныйстатический
Гамбассильныйявныйноминальный
GLBasicсильныйявный. Неявные объявления доступны через параметры проектаноминальныйстатический
Идти[1]сильныйнеявный с необязательной явной типизациейструктурныйстатический
Госусильныйчастично неявный (вывод локального типа)номинальные (подклассы) и конструктивныестатический
Groovyсильныйнеявный с необязательной явной типизациейдинамический с дополнительной статической типизацией
Гаваньсильныйнеявный с необязательной явной типизациейдинамичный
Haskellсильныйнеявный с необязательной явной типизациейноминальный[2][3]статический
Haxeсильныйнеявный с необязательной явной типизациейноминальная (подклассификация) и конструктивнаястатический с необязательной динамической типизацией
Иосильныйскрытыйдинамичный
ISLISPсильныйдинамичный
Jсильныйдинамичный
Явасильный[4]явныйноминальныйстатический
JavaScriptслабыйскрытыйн / ддинамичный
Юлясильныйнеявный с необязательной явной типизацией[5]структурный для неявной типизации, номинальный для явной типизациидинамичный
Радостьсильныйдинамичный
Котлинсильныйчастично неявный (вывод локального типа)номинальныйстатический
LabVIEWсильный
Luaсильныйскрытыйдинамичный
Кленсильныйдинамичный
Mathematicaсильныйдинамичный
MATLAB М-кодсильныйдинамичный
Модула-2слабый[TS 3]явныйноминальныйстатический
Модула-3слабый[TS 3]явныйструктурныйстатический
МАМПЫ (М)бессмысленныйн / дн / дн / д
Оберонсильныйявныйноминальныйстатические и частично динамические[TS 6]
Цель-Cсильныйявныйноминальныйдинамический с дополнительной статической типизацией[6]
OCamlсильныйнеявный с необязательной явной типизациейноминал для рекордов,[7] структурный для объектов[3][8]статический
Object Pascalсильныйявныйноминальныйстатический
Опасильныйнеявный с необязательной явной типизациейструктурныйстатический
Кислородслабыйскрытыйстатический
Оз-Моцартсильныйскрытыйструктурныйдинамичный
Паскальслабый[TS 3]явныйноминальныйстатический
Perl 5скрытыйдинамичный
PHPнеявный с необязательной явной типизациейноминальныйдинамичный
Плюссильныйявныйструктурныйстатический, динамический (необязательно)
Прологдинамичный
Чистыйдинамичный
Pythonсильныйнеявный (с необязательной явной типизацией с 3.5)н / ддинамичный
Ракучастично неявный[TS 7]динамический с дополнительной статической типизацией
REBOLсильныйскрытыйдинамичный
Rexxбессмысленныйн / д, неявно по числамн / дстатические + динамические по числам
РПГслабыйстатический
Рубинсильныйскрытыйн / ддинамичный
Ржавчинасильныйявный с необязательной неявной типизацией[9]в основном номинальныйстатический
Sдинамичный
Сленгсильныйскрытыйдинамичный
Scalaсильныйчастично неявный (вывод локального типа)номинальная (подклассификация) и конструктивнаястатический
Схемасильныйскрытыйдинамический (скрытый )
Семя7сильныйявныйноминальныйстатический
Симуласильныйстатический[TS 8]
Болтовнясильныйскрытыйдинамичный
Быстрыйсильныйчастично неявный (вывод локального типа)номинальные (подклассы) и конструктивныестатический
Стандартный MLсильныйнеявный с необязательной явной типизациейструктурныйстатический
Tclдинамичный
Машинопись?необязательныйструктурныйстатический
Visual Basicсильныйнеявный с необязательной явной типизациейноминальныйстатический
Visual Basic .NETслабый[TS 3]явныйстатический
Визуальный прологсильныйчастично неявныйноминальныйстатический
Язык Wolfram Languageсильныйдинамичный
Windows PowerShellсильныйскрытыйдинамичный
XLсильныйноминальныйстатический
Xojoсильныйявныйноминальныйстатический
XPath /XQueryсильныйчастично неявныйноминальныйдинамический с дополнительной статической типизацией
Дротиксильный[10]постепенный набор текстаноминальныйстатический с необязательной динамической типизацией
ЯзыкБезопасность типовВыражение типаСовместимость типов композитовПроверка типа

Рекомендации

  1. ^ Небезопасные операции хорошо изолированы префиксом «Unchecked_».
  2. ^ с необязательным приведением динамического типа (см. динамический состав )
  3. ^ а б c d е ж Это почти безопасно, небезопасные функции обычно не используются.
  4. ^ с необязательным динамическим типом (см. динамический поиск членов )
  5. ^ При желании набор текста может быть явно подразумевается по первой букве идентификатора (это называется неявной типизацией в сообществе Fortran).
  6. ^ динамическая проверка расширений типов, то есть унаследованных типов
  7. ^ явный для статических типов
  8. ^ необязательно для формальных и виртуальных процедур
  1. ^ Спецификация языка программирования Go
  2. ^ Лё, Андрес. «Почему в Haskell нет записей со структурной типизацией?». Переполнение стека. В архиве из оригинала от 14.03.2016. Получено 2020-04-13.
  3. ^ а б Король, Алексис (19.01.2020). «Нет, системы динамического типа не являются более открытыми по своей сути». lexi-lambda.github.io. В архиве из оригинала 2020-03-01. Получено 2020-04-13.
  4. ^ Шэн Лян, Гилад Браха. Динамическая загрузка классов в виртуальной машине Java. Том 33, выпуск 10 уведомлений ACM SIGPLAN, октябрь 1998 г.
  5. ^ https://docs.julialang.org/en/latest/manual/types/
  6. ^ Developer.apple.com В архиве 10 июня 2009 г. Wayback Machine
  7. ^ «Запись · Причина». причинаml.github.io. В архиве из оригинала 31.03.2020. Получено 2020-04-13.
  8. ^ «Система структурного типа», Википедия, 2019-03-29, получено 2020-04-13
  9. ^ "rust-lang / rustc-dev-руководство". GitHub. Получено 2020-04-08.
  10. ^ «Система типа Дарт». dart.dev. Получено 2020-04-08.