Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in category-theory

Functor implementation in JavaScript

resource that explains vocabulary used in Edward Kmett's lens package

What should a "higher order Traversable" class look like?

Free Monad for AST > 1-arity?

What does the universe mean?

How to it is a natural transformation?

Typeclass for (what seems to be) a contravariant functor implementing function inversion

Free monad and the free operation

Can the composite pattern be used to generate HTML from a tree and handle the indenting as well, or this inherently not possible?

How is anamorphism related to lens?

Understanding Sequencing in Functional Programming

Are `join` and `fmap join` equals in Haskell (from Category theory point of view)?

`(a -> b) -> (c -> d)` in Haskell?

A type constructor IS a monad or HAS a monad?

Functors in Java

Is there a name for arrows of the type a -> a (in Haskell notation) in category theory?

haskell category-theory

Inverse of the absurd function

haskell category-theory

Making multiple API calls in a functional way

"Transposition" of functors?