SML# is an open source functional programming language. While maintaining compatibility with Standard ML, it provides practically important features such as interoperability with C and databases. See “About SML#” for details.

val puts = _import "puts" : string -> int
fun f x = ignore (puts (#b x))
val _ = f {a = "Hi", b = "Hello"}
val _ = f {b = "World", c = "SML#"}

Recent News

GitHub migration completed

We are pleased to announce that we have completed migration to GitHub!

Read more...

SML# 4.0.0 released

SML# 4.0.0 has been released.

Read more...

Relicensing to MIT license

In agreement with Tohoku University on March 25, 2021, we (the SML# development team) have decided to relicense the SML# software.

Read more...

An SML# book is coming

A Japanese textbook of SML# will be published.

Read more...

We are working on migration to GitHub

We are going to migrate to GitHub. All resources related to SML#, including website and repositories, will be moved to GitHub.

Read more...