Добрый день всем!
Я, похоже, нашёл подходящий термин. Бойко назвал Рефал _слаботипизированным_
языком, имея в виду то, что базовых типов мало и пользователь не может
создавать новые типы. Но термин _слабая типизация_ (weak typing, синоним:
нестрогая типизация) уже занят, означает, что компилятор допускает неявные
преобразования между типами (вроде Math.sin("3.14")).
Предлагаю применительно к Рефалу и вообще в подобном смысле использовать термин
_бедная_ типизация. _Богатая типизация_ — типов много, пользователь может
определять новые типы самыми разнообразными способами. _Бедная_ — ничего
интересного с типами язык не даёт. Скажем, в древних Фортране-66 или Алголе-60
система типов была бедная — целые, вещественные и их массивы различных
размерностей. В Паскале система типов богаче. В Алголе-68 ещё богаче (во всяком
случае, интереснее).
С уважением,
Александр Коновалов
-----Original Message-----
From: Boyko Bantchev boykobb_AT_gmail.com <refal@botik.ru>
Sent: Monday, December 2, 2019 1:13 AM
To: refal@botik.ru
Subject: Re: Нужна ли "Ленинская простота" в Рефале?
> Распространённая терминологическая ошибка ........
Александр,
Представьте себе, мне хорошо известна разница между понятиями
статическая/динамическая и строгая/нестрогая в отношении типизации в языках
программирования. Однако я говорю не о нестрогой типизации, а о слабой.
Слабо типизированным я называю язык, в котором, грубо говоря, типы данных
имеют небольшую роль. Например, их мало и нельзя определять новые. Такой
язык не обязательно нестрого типизированный.
> Ликбез по типизациям: https://habr.com/ru/post/161205/
Спасибо за заботу. Адекватных источников, например книжек, хватит, я их
читал и по мере сил стараюсь продолжать.
> А с тем, что Рефал — динамически типизированный, я не спорю.
Я и не утверждал то, с чем вы не спорите.
Кстати, оно и неоднозначно, динамический Рефал или нет. Например, если
считать типами s., t. и e., то Рефал окажется статически
типизированным: тип каждой переменной определён в тексте программы, т.е.
статически.
