EM
а как его выразить в ДТ?
выше был пример,
\ x -> ! (x x)
\ x -> ! (x x)
Size: a a a
2020 February 03
DF
Да
DF
Почти такой пример и был
DF
В общем меня наебали в том чатике
DF
Есть бестиповая программа невыразимая в типизированном языке
DF
При любой типизации
AT
что такое "безтиповый язык"? я из таких знаю только ассемблер
Forth ещё.
А
Dollar Føølish
Есть бестиповая программа невыразимая в типизированном языке
ну вообще у бестиповой программы должен быть интерпретатор
А
и его можно сделать на языке с типами
А
или без типов
А
не важно
AK
и его можно сделать на языке с типами
проекция футамуры всех спасет %)
AK
Evgenii Moiseenko
выше был пример,
\ x -> ! (x x)
\ x -> ! (x x)
я не хаскеллист, что это значит? ) функция, которая применяет получаемую функцию к самой себе?
AH
я не хаскеллист, что это значит? ) функция, которая применяет получаемую функцию к самой себе?
да, ! это в хаскеле force evaluation
EM
а это не хаскель, в хаскеле такое не протайпчекается
А
Evgenii Moiseenko
выше был пример,
\ x -> ! (x x)
\ x -> ! (x x)
изи
А
Evgenii Moiseenko
а это не хаскель, в хаскеле такое не протайпчекается
почему?
E
почему?
бесконечный тип получится, такое в хаскелле запрещено
А
чёрт
А
тогда надо заюзать Dynamic или что-то такое