SML#

В 1993 году Atsushi Ohori расширил SML/NJ полиморфизмом записей и дал название экспериментальному компилятору SML# of Kansai. Позже для поддержания функциональной совместимости и других особенностей было принято решение о разработки компилятора с нуля под названием SML#.

SML# это еще одни язык программирования из семьи языков Standard ML. Его основная цель это поддержание некоторых важных расширений с поддержкой Standard ML.

Некоторые особенности SML#:

• разработанные методы управления памятью делают программы, написанные на SML#, функционально совместимыми с C и Java
• поддержка полиморфизма записей
• поддерживает расширения Standard ML

SML# разрабатывается при поддержке японского министерства образования.