Howdy Logo
Glossary Hero image

The Howdy Glossary

Search terms in Glossary


Standard ML (SML) is a statically typed general-purpose programming language with strong algebraic data types and pattern matching. Originally developed at the University of Edinburgh in the mid-1980s, SML has been influential for its use in teaching and research on programming language design. The language features type inference, functors for structured program development, and first-class functions that allow higher-order programming styles. SML provides modules as first-class citizens, equipping developers with tools to write complex software systems while maintaining abstraction boundaries between components.

Hire Sml Experts

Enter your email to get started.