AZ
нет
Size: a a a
2020 June 09
AZ
она принимает аргумент типа Type
AZ
которому дают имя a
EG
Всё, понял
EG
Спасибо
e
в хаскеле же вроде так же?
e
а то я испугался подумал что какая-то магия идриса
EG
в хаскеле же вроде так же?
В хаскеле эта функция вообще выразима?
e
В хаскеле эта функция вообще выразима?
спокойно
EG
Там же не first-class types
AZ
В хаскеле эта функция вообще выразима?
как мне говорили, в хаскеле можно поднять литералы на уровень типов, но чтобы спустить, нужны синглтоны
AZ
проще считать, что там так делать нельзя
e
the _ x = x
полагаю
это же про Church encoding? или путаю
EG
это же про Church encoding? или путаю
Это явное указание типа
EG
Функция
the принимает тип значения и само значениеEG
И возвращает свой второй аргумент
e
ну просто реализация напомнила church encoding
EG
the a b — примерный аналог хаскеллевского b :: a