I consider ML as an important cornerstone in abstraction, modularity and language design.
I’d love to see further advancement and progress, but at least from my perspective nothing tangible ever happens. There seems to be a cycle where some new interesting proposal/improvement/extension is published, people generally respond “wow, that’s great” and then … nothing seems to happen.
For instance, SuccessorML was announced a while ago, but currently http://successor-ml.org is dead. On the HaMLet page it reads
There also is a special “HaMLet S” that incorporates proposals for Successor ML (sML). It represents a testbed and sort of a personal vision of where sML might
(note the strike-through).
1ML proposed some new ideas recently, but it seems to have gone the usual way of xML proposals (like MixML, AliceML …): into the drawer.
It really pains me to see that such a great language is stagnating.
Can anyone more knowledgeable shed some light on what’s going on in ML space?