4 ms·
For people who immediately think Machine Learning, ML is a LISP like langage which OCaml is based on (among others). https://en.wikipedia.org/wiki/ML_(programm
by tempay 8y ago
For people who immediately think Machine Learning, ML is a LISP like langage which OCaml is based on (among others).
https://en.wikipedia.org/wiki/ML_(programming_language) https://en.wikipedia.org/wiki/ML_(programming_language)
- gpderetta 8y agoHow is ml a lisp like?
- shoo 8y agoquoting the wiki link provided upthread: > 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.
- dkersten 8y agoIt may have roots in lisp, but the language itself is very different, both syntactically and how you approach problems.
- deleted 8y ago[deleted]
- lispm 8y agoThe original ML was implemented in Lisp (Stanford Lisp) as part of the Edinburgh LCF (Logic for Computable Functions) theorem prover. Different syntax, types - but other stuff it had were easily shared in the implementation with the underlying Lisp: functions, higher-order functions, garbage collection, lists (with cons and append operators), lambda expressions, ... Here is a version of LCF with that first ML from 1977: https://github.com/theoremprover-museum/LCF77 https://github.com/theoremprover-museum/LCF77