DF
Проще взять питон
Size: a a a
2020 February 03
YS
Dollar Føølish
Проще взять питон
кому как. мне проще взять Хаскель и в особо сложных случаях
Map String Value, чем с самого начала никаких типовAT
но даже в Хаскеле это можно типизировать
В бестиповом языке это либо крэшнится, либо молча покарраптит данные. А в типизированном придётся определить какую-то семантику.
AT
Но для динамически типизированного (НЕ бестипового) должно быть плюс-минус то же самое, что и Any, с точностью до нюансов конкретной семантики.
SM
Dollar Føølish
Подскажите пожалуйста, есть ли бестиповая программа, которую нельзя выразить в типизированном языке? Дано: система типов включает в себя Any
Any содержит информацию о типе или нет( как void*) ? Если содержит то не думаю что есть такая программа которую нельзя выразить в типизированом
А
Dollar Føølish
Подскажите пожалуйста, есть ли бестиповая программа, которую нельзя выразить в типизированном языке? Дано: система типов включает в себя Any
нет
А
Даже если нет Any кстати
AH
Dollar Føølish
Подскажите пожалуйста, есть ли бестиповая программа, которую нельзя выразить в типизированном языке? Дано: система типов включает в себя Any
λx.x xпокатит?
DF
Хех
А
другой вопрос насколько это будет удобно и быстро
А
λx.x xпокатит?
а почему её нельзя выразить в статически типизированном языке?
DF
Интересно парадокс клини россера можно выразить в очень развитой системе типов?
AH
а почему её нельзя выразить в статически типизированном языке?
ну если можно, то я бы посмотрел на тип
xА
ну если можно, то я бы посмотрел на тип
xAny
AH
у Any нет информации что это Function
AH
поэтому статически типизированный язык должен нахер послать
А
у Any нет информации что это Function
как нет?
AH
как нет?
она МОЖЕТ быть Function
А
этого достаточно
AH
тогда это не статическая типизация, мы полагаемся на динамику.