3 ms·
> I don't know of an imperarive GCed language with a reasonably expressive type system Haskell with all code in the IO monad?
by kqr 5y ago
> I don't know of an imperarive GCed language with a reasonably expressive type system
Haskell with all code in the IO monad?
- im3w1l 5y agoNow I'm mildly curious how viable this would be.
- kqr 5y agoExtremely, if my last experience trying it (back in 2016 or so) counts. Like all good jokes, "Haskell is the world's best imperative language" contains a kernel of truth. The standard library contains rather interesting control structures that can exist only because IO actions are lazily evaluated values -- but you can also choose to ignore those for a more Java-like experience.