H
@DogeShibu, а формальное определение abstract binding trees ты где-то видел ещё? Я в Practical Foundations for Programming Languages с третей попытки суть понял, но нотация неудобная ппц
Size: a a a
2020 June 28
H
Писали бы все книги по CS в ML и в нотации бы не путались
H
Томушо синтаксис один для всех
DF
Эта нотация старше эмеля лет на 50)
B
Бумеры))))))))
DF
Скорее кайзеровцы
H
Я про эту нотацию
H
Непонятно откуда вообще взялись некоторые переменные
H
Может пару страниц назад они определялись, а я забыл
B
🤯
DF
Из конвенций скорее
DF
Типа если множество Х то его элемент х
DF
Ну привыкаешь со временем
H
Ещё нашёл книгу по вычислительной теории категорий. Там суть в том, что после математического определения они пишут в ML
H
Аргументируют тем, что мат. книги иногда опускают некоторые привычные для математиков вещи, а для CS guys это не доходит
H
Кстати, а знаете термин, такой стиль программирования, когда над программными сущностями алгебра проведена?
H
Пример: алгебраические типы данных, алгебраические эффекты
H
Знаю higher-order programming, но это когда программные сущности - значения
H
Можно ещё такую библиотеку для алг. эффектов сделать в Си. Может она в poica войдёт, и будет библиотека для программирования с алгебраическими сущностями в Си