Maybe is already a monad being used in the language , the concept of monad should be expanded somewhat to be useful for other monads, specially the collections and promisses/deferals.
Is monad language support necessary at the compiler level or can the language simply use Monads as special decorators (like java uses) ?
Maybe is already a monad being used in the language , the concept of monad should be expanded somewhat to be useful for other monads, specially the collections and promisses/deferals.
Is monad language support necessary at the compiler level or can the language simply use Monads as special decorators (like java uses) ?