Сравнение языков программирования по системе типов

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

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

• A система номинальных типов означает, что язык решает, являются ли типы совместимыми и / или эквивалентными на основе явных объявлений и имен.
• A структурный тип system означает, что язык решает, являются ли типы совместимыми и / или эквивалентными на основе определения и характеристик типов.
• Проверка типа определяет, будут ли типы проверяться и когда. Статическая проверка означает, что об ошибках типа сообщается на основе текста программы (исходного кода). Динамическая проверка означает, что сообщения об ошибках типа сообщаются на основе динамического поведения программы (во время выполнения).

1. ^Спецификация языка программирования Go
2. ^Лё, Андрес. «Почему в Haskell нет записей со структурной типизацией?». Переполнение стека. Архивировано из оригинала на 14 марта 2016 года. Проверено 13 апреля 2020 г.
3. ^ Король, Алексис (19 января 2020 г.). «Нет, системы динамического типа по своей сути не являются более открытыми». lexi-lambda.github.io. Архивировано из оригинала на 2020-03-01. Проверено 13 апреля 2020 г.
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. ^«Запись · Причина». reasonml.github.io. Архивировано из оригинала 31 марта 2020 г. Проверено 13 апреля 2020 г.
8. ^, Wikipedia, 29 марта 2019 г., получено 13 апреля 2020 г.
9. ^"rust-lang / rustc-dev-guide". GitHub. Проверено 8 апреля 2020 г.
10. ^"Система типов Dart". dart.dev. Проверено 8 апреля 2020 г.