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

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

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

haskell functional-programming monads category-theory traversable

Free Monad for AST > 1-arity?

haskell compiler-construction category-theory

What does the universe mean?

scala haskell functional-programming terminology category-theory

How to it is a natural transformation?

scala haskell functional-programming category-theory parametric-polymorphism

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

haskell category-theory category-abstractions
« Newer Entries Older Entries »