SML

What Is SML?

From the documentation: "Standard ML is a safe, modular, strict, functional, polymorphic programming language with compile-time type checking and type inference, garbage collection, exception handling, immutable data types and updatable references, abstract data types, and parametric modules." The SML/NJ compiler can be found in /s/sml, and the documentation in /s/sml/doc