AV
Oleg already did it
Size: a a a
2020 June 25
AT
Про Abstract Binding Trees на первоклассных модулях не было? 😄
AV
http://okmij.org/ftp/ML/MetaOCaml.html у него ещё такое есть!
I
пасибо за доклад, не все понял, но потом еще раз пересмотрю на ютубе
AT
Про Abstract Binding Trees на первоклассных модулях не было? 😄
а есть ссылочка?
AT
а есть ссылочка?
Под рукой нет, но у Харпера где-то находил.
AT
интересно, пасиб
AT
интересно, пасиб
В его группе, кажись, всё на Abstract Binding Trees и делают -- redtt, yacctt, cooltt...
I
vscode_reasonml . Завёлся вообще с полпинка, кстати; с хаскелем куда проблемнее было
Y
I
Ну ок, я просто хотел порекламировать https://marketplace.visualstudio.com/items?itemName=maattdd.vscode-ocaml-lsp
которым уже месяца 3 пользуюсь
которым уже месяца 3 пользуюсь
Y
Я полтора года назад всё это барахло разворачивал, наверное, тогда альтернативных плагинов не было ещё. Вон, в Real World Ocaml https://marketplace.visualstudio.com/items?itemName=ocamllabs.ocaml-platform рекомендуют
2020 June 26
SG
Может ещё проектик один допилю на апворке и буду вам готовить доклад о своём опыте, как линзы, полугруппы, эффекты на потоках, немутабельность и монадки на TypeScript пытаться внедрять. До меня многое доперло за это время длительного молчания. 🙂
K
> линзы
В тайпскрипте есть HKT?
В тайпскрипте есть HKT?
L
Kir: ошибка преобразования в число: String: линзы