VS
ну смотри: переменные безтиповые, типы значений неизменны. Где там динамическая типизация? Я не спорю - мне самому интересно! )
Size: a a a
2021 June 30
НК
В CL как я теоретически понимаю, имя переменной не имеет типа. А сама переменная имеет неизменный тип (строка, число и т.п.). А когда мы совершаем манипуляции с переменными (сложить A с B) - тип переменных связанных с именами A и B определяется динамически в процессе исполнения программы, т.к. среда исполнения может не знать наверняка что за переменные и как давно привязали к этим именам.
VM
Динамическая типизация и подразумевает, что переменные безтиповые.
НК
Чтобы понять какую имплементацию функции применить. Арифметическое сложение или конкатенацию строк, например.
VS
ну они же безтиповые )
VM
У них динамический тип.:) В зависимости от значения.
VS
если что встречу по данному вопросу - напишу
НК
Я так и понимаю этот термин.
VM
Из бестиповых я знаю только ассемблер и форт.
VS
ну это да, но это другое (с) :))
VM
Там всегда лежит число, а вот как его интерпретировать - это уже дело программиста.
VS
я где то видел рассуждения неплохие на тему нединамической типизации в CL
VS
вспомню - напишу
VM
А забыл, еще есть лямбда-исчисление. Оно тоже бестиповое, по-моему.
VM
То, которое нетипизрованное.
VS
да это очевидно, ссылка то должна быть на значение
a
Variables don't have types. Values have types.
НК
Думаю мы об одном говорим. Переменная (я назвал это «имя переменной») не имеет тип, а её значение (я назвал это «сама переменная») имеет тип. Просто не сошлись в терминах. У меня оказались какие-то свои термины😁
a
Это поначалу бывает. Я написал так, как все в сообществе поймут.
2021 July 01
O
Спросили про опыт в ведения проекта на CL, накидали про типизацию😊