|
|
|
|
|
|
by saityi
1617 days ago
|
|
|
SuccessorML[1], 1ML[2], etc. are pretty close to this in spirit. I've been trying to keep up with the publications around the future of ML, but academic research moves kinda slowly. I'm hopeful we'll see a new definition of Standard ML this decade. I'd tend to agree SML is a great choice -- SML-1997 is still ahead of many languages that came well after it in both features and usability. [1] https://github.com/SMLFamily/Successor-ML [2] https://people.mpi-sws.org/~rossberg/1ml/ |
|
|