4 ms·
I don't understand this comment, almost every compiler and language in existence uses monads for computation. Monadic sequencing is the foundation of almost eve
by tathougies 9y ago
I don't understand this comment, almost every compiler and language in existence uses monads for computation. Monadic sequencing is the foundation of almost every CPU. Most languages are utterly dependent on them.
Haskell and other pure languages let you compute values independent of the monad its computed in, which is very useful. Of course, this is all conceptual, eventually everything is translated to underlying CPU monad and its implicit join.
- julian_1 9y agoWhy join rather than bind?
- Veedrac 9y ago> Monadic sequencing is the foundation of almost every CPU. What on earth are you modelling a CPU as? What thing a CPU does corresponds to join?
- alphaalpha101 9y agoI'll point out again that this is very reminiscent of the OOP fad and "everything is an object". "Everything is a monad" is similar. "It's all just the CPU monad" is just.. inane. It's like saying 'C functions are pure functions that implicitly take and return the world'. Maybe? But at that point 'pure' has lost all of its information content.