Oℕ
это то, что я сказал
Size: a a a
2021 May 12
Oℕ
это не прямое
A
да, я пропустил то сообщение, а сейчас нашёл, спасибо.
v
где найти это хаскель платформ.
A
СПЖ там работает до сих пор, кажется
v
для вскода есть вим расширение.
v
роскошь.
R
Я слышал что ghc это и есть Хаскель. Так что часть хаскеля это часть Микрософта.
AG
есть кстати довольно любопытная штука synthetic domain theory - это попытка сделать такой dsl для штампования семантик пл
AG
ей правда мало кто занимается насколько я знаю
Oℕ
тут не понял
Oℕ
домейн это вот эта вся штука про домены скотта, которую я никак не начну учить?
AG
да именно
Oℕ
блэт
Oℕ
с чего учить, Алекс, домены?
AG
ну её можно особо и не учить, считается что классические домены скотта зашли в тупик в 90х
Oℕ
так
AG
синтетические домены это как раз была попытка превозмочь застой
AG
но вообще сейчас все пользуются или игровыми семантиками, или какими-то адхок потомками доменов на основе фриманаток
Oℕ
так игровые семантики в моноидальном чате искать папиры, так?