8 months of OCaml after 8 years of Haskell in production

…which can be achieved by using the monadic type ST s a and runST:

runST :: (forall s . ST s a) -> a

But if you’re referring to that other leakier variety:

…amongst others! So I would suggest that you be as flexible as possible, and prepare for the high possibility that a certain programming-language paradigm that you still love could vanish in a few years.


Enjoy your new career, and try not to worry about the rest of us…


1 Like