Standard ML, but unfrozen and most of the "successorML" proposals integrated into the standard. And it has somehow sprung a large healthy library ecosystem. And

Standard ML, but unfrozen and most of the "successorML" proposals integrated into the standard. And it has somehow sprung a large healthy library ecosystem. And the MLton toolchain has gained a REPL.