blockversewordysbillionaire.aiyourlistWhiteboardAppquizieunschool

News

Home
Popular
Elections

Genius — OpenServe

Sponsored

ML — latest news, discussion & facts — IJR

ML

Topic

ML

functional programming language

0members1here now

Ask Genius Site

Feed Discussions About

Loading

Comments

Ask Genius by OpenServe:

Free account · your comment posts right after signup

About ML

ML is the metalanguage developed for the Edinburgh LCF theorem prover in the 1970s. It is an early statically typed, functional language with polymorphic type inference in the Hindley–Milner style, and other features like exceptions and mutable variables. ML's design in LCF directly inspired the later ML family and influenced subsequent functional language development.

0

members

1

here now

Inception: 1973

Everything about ML →

Live room · 1 here

Be the first in the room — members see you arrive.

Facts from Wikidata (CC0).

Not who you're looking for? Others named ML: 2018 film