SS
Что за титаны?
Size: a a a
2020 May 02
JC
Да в хаскеле она простая как пробка
SS
Я не сказал бы, что у хаски простая система типов
JC
Держи параметрические типы, держи сумы типы и произведения
JC
Ну и сахар для интерфейсов
JC
Ты не можешь нормально выразить, что у тебя функция принимает непустые списки, к примеру
JC
(Можешь, но это будет странно выглядеть)
SS
Математику завезли
r
>agda
ага да
ага да
SS
Ну, по идее, математика обладает самой строгой системой типов
SS
Очень строгой
r
Математику завезли
пиздец
SS
Хоть и не реализован валидатор
I
Математику завезли
Но ты гуманитарий
SS
Но ты гуманитарий
Неа
I
Да
SS
Ты не можешь нормально выразить, что у тебя функция принимает непустые списки, к примеру
А какой самый адекватный язык для доказательств?
SS
И какие там доказательства вообще делают?
SS
И для чего?