H
higher-order abstract syntax
Size: a a a
2020 July 05
H
чтобы можно было в гошке кодировать тайпсейф STLC
H
>нужно логос
>пилю го
>пилю го
что такое логос
b
прикольно, а почему нет примера с hoas?
а почему он должен быть?
H
а почему его не должно быть?
b
я вообще впервые слышу про этот термин
b
это какая-то хуйня из теории типов
b
логос отрицает теорию типов вообще
H
фу как так можно
b
очень легко, логос настолько существует в домене естественного языка, что форма достаточно гибкая для корректного выражения пропозиций
b
я не вижу ни 1 причины вводить типы, если без них можно обойтись
H
а лол, это язык для логики
H
тогда понятно
H
в poica кстати есть HOAS
b
а лол, это язык для логики
не совсем
b
это language language
b
язык для описания произвольных дискурсов
DF
Дискурсов коннотаций диалектик