4 ms·
Basically he is describing an advanced REPL. But he doens't want a dynamic language.
by nopassrecover 17y ago
Basically he is describing an advanced REPL. But he doens't want a dynamic language.
- silentbicycle 17y agoSML, 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.