I just came across 1ML, which is a research project to unify the ML module language with the core language. I was wondering whether this might be possible to implement in F# as a way of working around the issues related to adding type classes, higher kinds, OCaml’s module language, etc. The syntax looks like it would generally work, though I’ve not studied it extensively.
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| F# Weekly #37, 2021 - Don Syme defends lack of type classes | 0 | 475 | September 11, 2021 | |
| Training materials idea | 3 | 1542 | October 22, 2019 | |
| F# Weekly #23, 2019 – WF & WCF for .Net Core & ML.NET 1.1 | 0 | 929 | June 8, 2019 | |
| ML .NET Released | 19 | 4100 | June 4, 2018 | |
| Phillip's office hours from Slack, 2018-25-09 | 0 | 825 | September 25, 2018 |