Oℕ
ты там чото накидывал
Size: a a a
2021 May 12
AG
ну если прям оч интересна тема денотационных семантик
AG
так-то можно и с операционными жить
Oℕ
да, денотационные, новерно нужны
ХГ
Сходил за едой — 355 сообщений.
Oℕ
есть тема, где нужно думать, как во множества и отношения
Oℕ
транслировать
Oℕ
с правильными свойствами
v
сайт хаскеля такой красивый, а это что за сайт из двухтысячных.
AG
что-то с рекурсией?
Oℕ
с данными
Oℕ
язык для данных
Oℕ
больших пребольших
AG
домены для рекурсии придумывали в первую очередь
Oℕ
ну я помню
Oℕ
типа там тюринг полные не зашквар или вроде того, судя по омельченко
AG
угу
Oℕ
короче
Oℕ
игровые семантики
AG
игровые нужны если есть фвп