Tipus | llenguatge de programació, llenguatge de programació procedural i llenguatge de programació funcional ![]() |
---|---|
Data de creació | 1973 ![]() |
Disseny | Robin Milner ![]() |
Desenvolupador | Robin Milner ![]() |
Paradigma de programació | programació procedimental, programació funcional i llenguatge imperatiu ![]() |
Influenciat per | ISWIM ![]() |
ML és un llenguatge de programació funcional desenvolupat per Robin Milner i altres a finals del 1970 a la Universitat d'Edimburg amb una sintaxi inspirada en el llenguatge abstracte ISWIM que ha donat lloc a una família de llenguatges.
Històricament les sigles ML es refereixen a MetaLlenguatge. És conegut per l'ús que fa de l'algorisme d'inferència de tipus Hindley-Milner.