4 ms·
>> any Standard ML influenced type system Which languages are those?
by phkahler 1y ago
>> any Standard ML influenced type system
Which languages are those?
- pjmlp 1y agoWhile I assume it is a loaded question. Caml Light, OCaml, Miranda, Haskell, Coq, Agda, Lean, Scala, Swift, F#, F*, Idris, ATS, and naturally Rust.