Howdy Logo
Glossary Hero image

The Howdy Glossary

Search terms in Glossary


ML, or Meta Language, is a functional programming language used for writing compilers and theorem provers. ML's main dialects are Standard ML (SML) and OCaml. The language features type inference, garbage collection, exception handling, pattern matching over complex data structures, and parametric polymorphism. These properties make the language suitable for implementing algorithmically intensive applications that can run on any platform without modification. In addition to its use in academia on research projects involving formal verification tools like HOL4, it has been used extensively in industrial applications within companies like Jane Street Capital for financial modeling and software development using the OCaml dialect.