Questions Concepts
GitHub icon

ML

ML - Programming language

< >

ML, aka Meta Language, is a programming language created in 1973 by Robin Milner.

#124on PLDB 50Years Old

ML ('Meta Language') is a general-purpose functional programming language. It has roots in Lisp, and has been characterized as "Lisp with types". It is known for its use of the polymorphic Hindley–Milner type system, which automatically assigns the types of most expressions without requiring explicit type annotations, and ensures type safety – there is a formal proof that a well-typed ML program does not cause runtime type errors. Read more on Wikipedia...


Example from Wikipedia:
structure Rational : ARITH = struct datatype t = Rat of int * int; val zero = Rat(0,1); fun succ(Rat(a,b)) = Rat( a+b , b ); fun sum (Rat(a,b), Rat(c,d)) = Rat(a*d+ c*b , b*d) : t ; end

Language features

Feature Supported Token Example
Assignment :=
Type Inference
Garbage Collection
Line Comments X

View source

- Build the next great programming language · Search · Add Language · Features · Creators · Resources · About · Blog · Acknowledgements · Queries · Stats · Sponsor · Traffic · Traffic Today · Day 305 · feedback@pldb.com · Logout