p
уууууууууу
Size: a a a
2020 July 03
H
да
p
в питоне тоже есть НКТ
p
правда оно не проверяется на этапе компиляции
H
а в poica проверяется
H
еще в poica надо GADTs можно будет мутить HOAS
p
прямо в программе?
H
это тайпсейф AST для языков со связками переменных
H
блин, для абстракции над коллекциями нужны тайп классы
AS
это тайпсейф AST для языков со связками переменных
Не могу загуглить "связки переменных", что это? Пучок?
H
это let x = y in ...
p
блин, для абстракции над коллекциями нужны тайп классы
а ты что хотел
H
хотел халяву
SS
Не могу загуглить "связки переменных", что это? Пучок?
Кортеж наверное
T1
это тайпсейф AST для языков со связками переменных
ты из википедди что ли прочитал определение
T1
разве не просто к имени привязка?
H
ты из википедди что ли прочитал определение
ага
H
разве не просто к имени привязка?
у раста можно и к переменным делать привязки