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

Why do Static Arrows generalise Arrows?

haskell applicative category-theory arrows

Is a state monad with two state variable types (in and out) still a monad?

monads state-monad category-theory

Granted a traversable F-Algebra, is it possible to have a catamorphism over an applicative algebra?

haskell category-theory catamorphism

Combining the state monad with the costate comonad

haskell functional-programming monads category-theory comonad

Reverse Function Composition in Haskell

haskell function-composition category-theory

Why Is Functor a Higher-Kinded type

scala category-theory

Generalized `fold` or how to perform `fold` and `map` at a time

haskell category-theory

What is the meaning of Extend type class in Haskell?

haskell category-theory abstract-algebra

What is difference between Coyoneda and free-functors

haskell category-theory

Why does Haskell have non-strict functions (semantics)? [closed]

haskell functional-programming computer-science category-theory

Is it possible to generalize this lmap

haskell functor category-theory

Why can't ghc match these types on this Category product?

haskell typeclass category-theory gadt

What is this thing similar to KleisliFunctor?

haskell monads typeclass category-theory

How can I use a recursion scheme to express this probability distribution in Haskell

haskell recursion probability category-theory recursion-schemes

Functor implementation in JavaScript

javascript haskell functor category-theory

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

haskell haskell-lens category-theory vocabulary lenses

Is Haskell's `Const` Functor analogous to the constant functor from category theory?

haskell functor category-theory phantom-types

Are there a thing call "semi-monad" or "counter-monad"?

haskell monads category-theory
« Newer Entries Older Entries »