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

What are the identities categorical monads enforce that Haskell monads don't?

haskell monads category-theory

Why is function with useless isolated `static` considered impure?

c++ functional-programming category-theory

Is a C++ functor a functor in the sense of category theory?

c++11 category-theory

Do all the function types form a subcategory of `Hask`?

haskell types programming-languages computer-science category-theory

Do notation and Monad composition

haskell category-theory abstract-algebra

Understanding the diagrams of Product and Coproduct

scala haskell tuples category-theory either

What is the category-theoretical basis for the requirement that the Haskell "id" function must return the same value as passed in?

haskell category-theory

Categories library for Agda?

standard-library agda category-theory

Proper way to wrap selectively class instances (or "lift" functions like `sortBy`, `minimumBy`, ... automatically)

haskell category-theory

Is Behavior a Comonad?

haskell frp purescript 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

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

Relation between `DList` and `[]` with Codensity

list haskell category-theory
Older Entries »