Discussions related to the programming language ML and all of its dialects and extensions: Standard ML, OCaml, ReasonML, Manticore, CML, Coq, F#, F*, ATS, Isabelle/HOL, and more...
An intriguing discovery of Computer Science: The Y combinator [video]
Article, Comments
https://discuss.ocaml.org/t/multicore-ocaml-february-2021/7449
Читать полностью…https://tarides.com/blog/2021-01-26-recent-and-upcoming-changes-to-merlin
Читать полностью…Safe dead code removal in a pure functional language
https://jfmengels.net/safe-dead-code-removal/?lobsters
Japanese 😆😆😆 I studied for a year, but failed the official exam, and then moved and left the classes, but I want to start again
Читать полностью…https://icfp21.sigplan.org/home/mlfamilyworkshop-2021#event-overview
Читать полностью…https://discuss.ocaml.org/t/multicore-ocaml-may-2021/7990
Читать полностью…It seems people is realising that when you use a decent language you get nice things... Who would have known that, right? These obscure, functional languages are pointlessly hard, right? /s
Читать полностью…Funny, because I don't see group history at all
Читать полностью…