ML (Programming Language): Functional programming, LCF, ISWIM, First-order logic, Type polymorphism, Lambda calculus, Purely functional, Evaluation strategy - Tapa blanda

Sinopsis

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. ML is a general-purpose functional programming language developed by Robin Milner and others in the late 1970s at the University of Edinburgh, whose syntax is inspired by ISWIM. Historically, ML stands for metalanguage: it was conceived to develop proof tactics in the LCF theorem prover. It is known for its use of the Hindley–Milner type inference algorithm, which can automatically infer the types of most expressions without requiring explicit type annotations.

"Sinopsis" puede pertenecer a otra edición de este libro.