Oh yeah, of course – I think OCaml has one as well. Although Haskell's at least is interpreted rather than JIT-compiled, so it's nowhere near as nice to use as Julia's ;)
You should also check out Leah Hanson's work on TypeCheck.jl <https://github.com/astrieanna/TypeCheck.jl>, if you haven't seen it already. It's pretty cool, and I think if we can get something like that really well integrated with editors we can solve a lot of the problems you've mentioned without enforcing it in the compiler. Which might be a suitable compromise :) On 4 January 2015 at 20:56, Ariel Keselman <[email protected]> wrote: > > yeah, you're right about scala having a repl. and I also forgot that > Haskell has one! but I still prefer Julia over those languages :) > > >
