AH
а там может быть integer
Size: a a a
2020 February 03
А
на самом деле нужно уточнить оригинальный вопрос
А
Dollar Føølish
Подскажите пожалуйста, есть ли бестиповая программа, которую нельзя выразить в типизированном языке? Дано: система типов включает в себя Any
нужно выразить так чтобы она статически чекалась?
А
или это не обязательно?
DF
Она должна проходить тайпчек иначе это не программа
AK
а рефлексию использовать можно? )
AH
Dollar Føølish
Она должна проходить тайпчек иначе это не программа
это программа, просто нерабочая (возможно)
DF
а рефлексию использовать можно? )
Конечно!
А
Dollar Føølish
Она должна проходить тайпчек иначе это не программа
а рантайм ошибки из-за несоответствия типов допустимы?
DF
Это не важно
AK
Dollar Føølish
Конечно!
тогда вопрос тривиален
DF
Ну и как выразить парадокс клини россера в типизированном языке?
А
Dollar Føølish
Это не важно
тогда норм
AK
Dollar Føølish
Ну и как выразить парадокс клини россера в типизированном языке?
а как его выразить в ДТ?
DF
Как и в бестиповом
DF
Разве теги будут мешать?
DF
Мой вопрос был про бестиповые в общем а не про ДТ только
А
короче, всё можно
AK
что такое "безтиповый язык"? я из таких знаю только ассемблер
DF
Пусть будет ассемблер