There is also ongoing discussion and other work on something called "successor ML" (sML). See smlfamily.org for further information. Functional record update is

There is also ongoing discussion and other work on something called "successor ML" (sML). See smlfamily.org for further information. Functional record update is one of the features contemplated.