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

Efficient implementation of Catamorphisms in Scala

scala algebraic-data-types category-theory recursion-schemes catamorphism

How to do Left Void?

haskell category-theory

In Haskell, is the map function a functor?

haskell category-theory

Mergeable with sum and product in type indices

haskell category-theory

Is there any connection between the contravarience of Hom Functor and Scala's Function1?

scala functor category-theory bifunctor

Can one simplify the Codensity monad on Maybe?

haskell monads dependent-type continuations category-theory

Does the term "Functor" in Prolog have any relation to the term taken from Category Theory?

functional-programming prolog functor category-theory logic-programming

Flat lists and free monads

list haskell ocaml monads category-theory

Simple definition of factorizer

haskell category-theory

Relation between the Semigroupoid and Semigroup classes

haskell category-theory monoids semigroup category-abstractions

How to implement memoization in Scala without mutability?

scala thread-safety immutability memoization category-theory

Are all Monad instances in Haskell just different ways for mapping from Hask to Hask?

haskell monads category-theory

Did this construction of free(freer?) monad works?

haskell functional-programming monads category-theory free-monad
Older Entries »