4 Matching Annotations
 Feb 2021

en.wikipedia.org en.wikipedia.org

Though rarer in computer science, one can use category theory directly, which defines a monad as a functor with two additional natural transformations. So to begin, a structure requires a higherorder function (or "functional") named map to qualify as a functor:
rare in computer science using category theory directly in computer science What other areas of math can be used / are rare to use directly in computer science?

category of functors (from values to computations)


mmhaskell.com mmhaskell.com

So if you don't yet understand functors or applicative functors, check out part 1 and part 2 of this series!
Tags
Annotators
URL

 Jan 2020

en.wikipedia.org en.wikipedia.org