Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in category-theory

Free monad and the free operation

haskell monads category-theory free-monad

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

haskell functional-programming composite category-theory monoids

How is anamorphism related to lens?

haskell recursion category-theory haskell-lens

Understanding Sequencing in Functional Programming

haskell functional-programming category-theory

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

haskell types monads category-theory

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

haskell definition category-theory

A type constructor IS a monad or HAS a monad?

scala haskell functional-programming language-agnostic category-theory

Functors in Java

java haskell category-theory

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

scala functional-programming category-theory scala-cats

"Transposition" of functors?

haskell functor category-theory

Is there a term for a monad that is also a comonad?

haskell ocaml category-theory

Is this a meaningful generalization of `scan`s for arbitrary ADTs?

haskell category-theory type-theory

In what way is Scala's Option fold a catamorphism?

scala category-theory scala-option catamorphism recursion-schemes

Is the name of `liftM` inspired by lifts in mathematics? [closed]

haskell functional-programming terminology category-theory

Bicategories in Haskell

haskell typeclass category-theory

Every monad is an applicative functor — generalizing to other categories

haskell categories functor applicative category-theory
« Newer Entries Older Entries »