4 ms·
> You could have a strict Haskell-like language that manages effects in the same way, indeed such languages exist. I'm unaware of any strict purely functional
by hisham_hm 13y ago
> You could have a strict Haskell-like language that manages effects in the same way, indeed such languages exist.
I'm unaware of any strict purely functional language with monads. Could you give an example? Thanks!
- DanWaterworth 13y agoIdris is one example.
- freyrs3 13y agoDisciple[1], and I believe "Mu" Haskell ( the Standard Chartered dialect ) though I don't know for sure because it's not open source. [1]: http://disciple.ouroborus.net/ http://disciple.ouroborus.net/