3 ms·
One area people tend to use ML-based languages is software that makes heavy use of algebraic/inductive datatypes, e.g., compilers and interactive theorem prover
by xrchz 8y ago
One area people tend to use ML-based languages is software that makes heavy use of algebraic/inductive datatypes, e.g., compilers and interactive theorem provers. (Implementing a theorem prover was the original motivation for ML.) That said, the ML family is general-purpose and suitable for many tasks.
- seanmcdirmid 8y agoOCAML has this area more than SML does, however.
- xrchz 8y agoI don't think that's clear. - HOL4, Isabelle, ProofPower : Standard ML - Coq, HOL Light, HOL Zero : OCaml - Lean : C++ - Agda, Idris: Haskell - Mizar : Pascal - Metamath : C