2 ms·
SML, OCaml, and Haskell are all statically-typed languages with advanced REPLs, just not with the features he wants. It sounds like he want a constraint solver,
by silentbicycle 17y ago
SML, OCaml, and Haskell are all statically-typed languages with advanced REPLs, just not with the features he wants. It sounds like he want a constraint solver, among other things.