ML Definition & Meaning

ML, short for Meta Language, is a general-purpose functional programming language. It’s statically scoped, meaning that a variable always refers to its top-level environment. ML can be referred to as an impure functional language because it allows side effects, which most functional programming languages do not allow. A side effect is when a procedure changes a variable from outside its scope.

Like most programming languages, ML uses eager evaluation, so an expression is evaluated as soon as it’s bound to a variable. This is in direct opposition to lazy evaluation. However, lazy evaluation can still be achieved through the use of closures. ML is used for meta-programming, or writing programs that manipulate other programs. ML is known for its use of the Hindley-Milner type system, which automatically assigns the types of most expressions without requiring explicit type annotations and ensures type safety. ML is also used for:

  • Scientific applications
  • Theorem providers
  • Analyzers, compilers, and programming languages
  • Financial systems applications
  • Bioinformatics and genealogical databases

Features of ML

ML is a strictly-typed language, meaning that a well-typed language will not cause runtime type errors. It features an automatic memory management system through garbage collection, so memory is automatically allocated and freed by the compiler. Parametric polymorphism is supported, meaning a single polymorphic function can be written to take a parameter of any compatible type. Other features include:

  • First-class functions
  • Static typing
  • Type interference
  • Pattern matching for functional arguments
  • Exception handling
  • Algebraic data types

ML is also the abbreviation for machine learning, a type of data analysis that uses algorithms to learn from data.






Abby Dykes
Abby Dykes
Abby Dykes is a writer and editor for websites such as TechnologyAdvice.com, Webopedia.com, and Project-Management.com, where she covers technology trends and enterprise and SMB project management platforms. When she’s not writing about technology, she enjoys giving too many treats to her dog and coaching part-time at her local gym.

Top Articles

The Complete List of 1500+ Common Text Abbreviations & Acronyms

Text Abbreviations reviewed by Web Webster   From A3 to ZZZ we list 1,559 SMS, online chat, and text abbreviations to help you translate and understand...

How to Create a Website Shortcut on Your Desktop

Website Shortcut on Your Desktop reviewed by Web Webster   This Webopedia guide will show you how to create a website shortcut on your desktop using...

Windows Operating System History & Versions

The Windows operating system (Windows OS) refers to a family of operating systems developed by Microsoft Corporation. We look at the history of Windows...

First to Fifth Generations of Computers

Reviewed by Web Webster   Learn about each of the 5 generations of computers and major technology developments that have led to the computing devices that...

Hackerspace Definition & Meaning

What is a hackerspace? A hackerspace, also known as a hacklab, incubator, or hackspace,...

Random Access Memory (RAM)...

Random Access Memory (RAM) reviewed by Web Webster   Random Access Memory (RAM) is a...

OEM – original equipment...

OEM - Original Equipment Manufacturer reviewed by Web Webster OEM (pronounced as separate letters)...