Ah, so is it right to say it's an abstraction of how functions are sequenced? I could kinda see that idea in action for I/O and Async (I assume it evaluates functions when their corresponding async input is ready?)
The way I understood monads is they're a way to abstract the "executor" of a function. I/O monads run step-by-step based on stdin, List runs a function on every element, and the function is unaware of this, Option runs the function if the value exists (again the function's not aware of this)
That being said, I'm coming at this from a Rust view, and I've only scanned through one guide to monads so I may be wrong
Kevin @ technohacker @programming.dev Posts 0Comments 123Joined 2 yr. ago
All good, thanks for the explanation! :D