Я имею в виду нечто похожее на механизм F #, описанный здесь . Посмотрев на это, я не обнаружил ничего, что прямо говорило бы, что да, а что нет.
Ни в определении стандарта ML от 1990 года, ни в определении стандарта ML (пересмотренном) от 1997 года не определены охранники образца.
Были выдвинуты некоторые предложения поддержать их - см. https://github.com/SMLFamily/Successor-ML/wiki/Summary-of-proposed-changes - но я думаю, что единственная реализация, которая делает это, это ' HaMLeT S'. В частности, ни MLton, ни SMLNJ, кажется, не поддерживают их (см. http://mlton.org/SuccessorML и https://smlnj.org/doc/features.html, соответственно).