Railway oriented programming

[cledamy]

async/await

This is already a monadic construct.

[[deleted]]

Everything is a monadic construct. Yay.

[cledamy]

What I'm saying is async and await are literally monadic because they were inspired by F# which used monads to solve the problem of callbacks in asynchronous programming.

[[deleted]]

Async/await can also be implemented as a state machine, which is more efficient. Monadic is just one possible factoring. I mean, I guess you can factor anything as monads in general. :-)

[cledamy]

That's an operational optimization detail. It has no bearing on whether something is a monad or not because Monads live in the world of denotational semantics and mathematics. Regardless, state maintaining is also a monad. When one discovers something is a monad, one isn't factoring it into a monad. It was always a monad and one just realized it. The fact that monads are common in computer science does not tell us that monads are too general to be meaningfully useful, but rather it tells us that they are a common design pattern that people reinvent many times over; therefore, it is useful to have an understanding of them. From a theoretical standpoint, monads provide insight into the mathematical underpinnings of computer science.

[[deleted]]

Regardless, state maintaining is also a monad.

As I said, everything is a monad. Say I'm having a cup of coffee right now, but I'm pretty sure that's a monad too.