сих пор только куча разных идей? Вот тут какая-то спека есть, но статус неясен: https://github.com/SMLFamily/Successor-ML
Андреаса надо будет спросить
вроде гарды они так и не осилили ни в какой имплементации сделать, разве только в рефренсном хамлете (но это не точно), а кое-какие менее амбициозные фичи в смлнж и эмелтоне сделали
Обсуждают сегодня