SML# Project

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#"}