A monad library in go can really on have one name… …
replyGoMad
replyMo-go?
replyWe already have monads at home (return X, err)
replyCan we have Exception monads? Asking for friend.
reply> Can we have Exception monads? Asking for friend.
replyThis is nonsensical. Monads define a strict set of behaviors formalized as "monad laws"[0].
Perhaps what you want is a container which adheres to monad laws capable of abstracting exceptions. Two exemplars of same are Haskell's Data.Either[1] and Scala's Either[2].
0 - https://wiki.haskell.org/Monad_laws
1 - https://hackage-content.haskell.org/package/base-4.22.0.0/do...
2 - https://www.scala-lang.org/api/3.8.3/scala/util/Either.html
I don't think it's nonsensical, it's just another name for the same thing. E.g. in the Haskell wiki it says, "the Error monad, also called the Exception monad".
reply> Perhaps what you want is a container which adheres to monad laws capable of abstracting exceptions
replyThat is what I meant. Struggling to picture what the other "nonsensical" thing is.
It's (sadly) still not possible to express monads with this change, since generic methods can't implement interfaces. You'd probably want something like:
reply type Monad[T any] interface {
Bind[U any](func(T) Monad[U])
}
I am not very familiar with Go and especially not its generics support. Can you implement the "join" version instead of the "bind" version, where you turn a T[T[a]] into a T[a]?
replyHmm I wasn't familiar with join, but it looks like you still need join + fmap for the construction? I believe fmap would also need a generic method
replyFunnily enough, Go's generics were designed by the same guy who introduced monads to computer science. Everything comes fill circle.
reply> Funnily enough, Go's generics were designed by the same guy who introduced monads to computer science.
replyNo contributor to Go is responsible for "introducing monads to computer science", as the Monad concept is a member of (or defined by if you prefer) Category Theory[0].
As you point out, monads come from category theory, not native to computer science. Thus there had to be someone to introduce approaches to applying monads in computer science. The paper usually credited with that is: https://homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/b... Which the parent rightfully points out was written by the same person primarily responsible for the design of generics in Go: https://homepages.inf.ed.ac.uk/wadler/topics/go.html
replyOn that note, calculus come from physics. AI should really hand back all those jacobians and hessians.
reply