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

New posts in recursion-schemes

How does compiler figure out fixed point of a functor and how cata work at leaf level?

haskell category-theory recursion-schemes fixpoint-combinators catamorphism

Deforestation in a Hylomorphism

haskell ghc recursion-schemes

Fix and Mu isomorphic

haskell recursion-schemes fixpoint-combinators

Can I write `foldr` (or `foldMap`) in terms of 'recursion schemes' `cata`?

haskell fold recursion-schemes foldable catamorphism

How to use recursion-schemes to `cata` two mutually-recursive types?

haskell recursion-schemes

What is an anamorphism, and how does one look like in C#?

c# functional-programming catamorphism recursion-schemes anamorphism

How do I give a Functor instance to a datatype built for general recursion schemes?

haskell recursion typeclass catamorphism recursion-schemes

Is it possible to compare two trees with recursion schemes?

haskell tree abstract-syntax-tree catamorphism recursion-schemes

List filter using an anamorphism

list haskell recursion recursion-schemes corecursion

A library implementation of a recursion scheme

haskell recursion catamorphism recursion-schemes

Once I have an F-Algebra, can I define Foldable and Traversable in terms of it?

haskell category-theory recursion-schemes

Recursion Schemes in Agda

haskell recursion agda catamorphism recursion-schemes

What's the type of a catamorphism (fold) for non-regular recursive types?

haskell types catamorphism recursion-schemes

What is a catamorphism and can it be implemented in C# 3.0?

c# f# functional-programming catamorphism recursion-schemes

What is the difference between Fix, Mu and Nu in Ed Kmett's recursion scheme package

haskell recursive-datastructures recursion-schemes fixpoint-combinators

Are Ana-/Catamorphisms just slower?

haskell kdtree catamorphism recursion-schemes

Histomorphisms, Zygomorphisms and Futumorphisms specialised to lists

haskell recursion recursion-schemes

Recursion schemes for dummies?

haskell recursion functional-programming recursion-schemes

What does "coalgebra" mean in the context of programming?

scala haskell functional-programming category-theory recursion-schemes
« Newer Entries