ML

Infotaula de llenguatge de programacióML
Tipusllenguatge de programació, llenguatge de programació procedural i llenguatge de programació funcional Modifica el valor a Wikidata
Data de creació1973 Modifica el valor a Wikidata
DissenyRobin Milner Modifica el valor a Wikidata
DesenvolupadorRobin Milner Modifica el valor a Wikidata
Paradigma de programacióprogramació procedimental, programació funcional i llenguatge imperatiu Modifica el valor a Wikidata
Influenciat perISWIM Modifica el valor a Wikidata

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.