Оберон-клуб «ВЄДАsoft»

Как можно охарактеризовать типизацию Free Oberon? Нашел здесь https://proglib.io/p/literacy-project-type-checking/ такую таблицу для примера.

JavaScript - Динамическая | Слабая | Неявная
Ruby - Динамическая | Сильная | Неявная
Python - Динамическая | Сильная | Неявная
Java - Статическая | Сильная | Явная
PHP - Динамическая | Слабая | Неявная
C - Статическая | Слабая | Явная
C++ - Статическая | Слабая | Явная
Perl - Динамическая | Слабая | Неявная
Objective-C - Статическая | Слабая | Явная
C# - Статическая | Сильная | Явная
Haskell - Статическая | Сильная | Неявная
Common Lisp - Динамическая | Сильная | Неявная
D - Статическая | Сильная | Явная
Delphi - Статическая | Сильная | Явная
Примечания к таблице:

C# – сохраняет динамическую типизацию, с помощью особого псевдо-типа dynamic с версии 4.0. А также оказывает содействие неявной типизации посредством dynamic и var.

С++ – после стандарта C++11 обрёл опору неявной типизации посредством ключевых слов auto и decltype. Сохраняет динамическую типизацию, в момент использования библиотеки Boost (boost::any, boost::variant). Содержит в себе черты как сильной, так и слабой типизации.

Common Lisp – стандарт предполагает декларации типов, благодаря которым некие реализации используются также для статической проверки типов.

D – также осуществляет поддержание неявной типизации.

Delphi – осуществляет поддержку динамической типизации, с помощью особого типа Variant.

Есть вероятность, что я где-то мог ошибиться, в особенности с CL, PHP и Obj-C, если по какому-либо языку у Вас есть другое мнение – пишите в комментариях.

_________________
Работаю в Windows 10. В то же время также установлен Линукс для некоторых ситуаций

Статическая, Сильная, Явная.

Во время обсуждения в теме https://forum.oberoncore.ru/viewtopic.php?f=1&t=6510 начал сомневаться, что в Обероне нету динамической типизации.

_________________
Работаю в Windows 10. В то же время также установлен Линукс для некоторых ситуаций

В Free Oberon сейчас использутеся Oberon-2 со слегка обновлённой системой типов (INTEGER в 4 байта).

Soviet Pony правильно ответил:
В Обероне система типов статическая, сильная, явная.

Динамическая типизация тут не к месту, просто в приведённой вами статье нет, например, определения «статической типизации», а вместо него мешок признаков.

А в Oberon-2 типизация тоже статическая, сильная, явная, как и в Оберон?
А для чего это сделано и как повлияло на типизацию?

_________________
Работаю в Windows 10. В то же время также установлен Линукс для некоторых ситуаций

У Objective-C динамическая типизация поверх традиционной сишной. Гремучая смесь.
Появление boost::any/boost::variant в С++ никак не меняет его статус статически типизированного языка. boost::any/boost::variant - это всего лишь контейнеры, куда можно положить что угодно (boost::any) или что-то из списка типов (boost::variant). Использовать эти контейнеры в страдиционном динамическом duck typing нельзя.

У Objective-C динамическая типизация поверх традиционной сишной. Гремучая смесь.
Появление boost::any/boost::variant в С++ никак не меняет его статус статически типизированного языка. boost::any/boost::variant - это всего лишь контейнеры, куда можно положить что угодно (boost::any) или что-то из списка типов (boost::variant). Использовать эти контейнеры в традиционном динамическом duck typing нельзя.

Ну, она ничем не хуже, чем в Оберон. А вообще это игра словами. Да, она в Оберонах "статическая, сильная, явная". Но если объявить две переменные: часы и минуты, и сложить их, то и часы в минуты пересчитаны не будут, и сложить запросто даст. А Ада не даст.

На типизацию это не повлияло. Просто подогнали названия типов к современным реалиям: самый используемый в современных архитектурах целый тип размером 32 бита сделали основным и назвали INTEGER, а раньше в O1/O2/A2 он назывался LONGINT.

Благодарю за информацию.А за счет чего это достигается? А как добиться таких же высоких результатов контроля ошибок в Оберонах?

_________________
Работаю в Windows 10. В то же время также установлен Линукс для некоторых ситуаций

В Аде можно объявлять новые целочисленные типы данных с ограничениями вроде диапазонов возможных значений. В Оберонах такой фичи нет.