This post has been de-listed
It is no longer included in search results and normal feeds (front page, hot posts, subreddit posts, etc). It remains visible only via the author's post history.
I was talking with a coworker the other day and had a thought that 1ML is pretty close to the core of my ideal language. It looks like research fizzled out after the 2016 paper though. I was wondering if anyone else knew of similar work being done.
For those less familiar. 1ML is an attempt to combine the core and module languages of the ML family. There's also a paper on extending it with effects which gives a unified description for generative versus applicative module composition among the usual benefits of effect systems.
Subreddit
Post Details
- Posted
- 5 months ago
- Reddit URL
- View post on reddit.com
- External URL
- reddit.com/r/Programming...