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

New posts in catamorphism

Is there something like cata but where you can match inner structure?

haskell recursion abstract-syntax-tree catamorphism recursion-schemes

Catamorphisms for Church-encoded lists

haskell recursion church-encoding catamorphism recursion-schemes

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

haskell category-theory catamorphism

How would I implement this fold function?

haskell tree fold catamorphism

"maybe"-like function for Bool and List?

haskell catamorphism

Catamorphism that allows looking at part of the final result

haskell lazy-evaluation recursion-schemes catamorphism

Scala type inference question

scala type-inference catamorphism

How to work with AST with Cofree annotation?

haskell abstract-syntax-tree comonad catamorphism recursion-schemes

In what way is Scala's Option fold a catamorphism?

scala category-theory scala-option catamorphism 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

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

haskell fold recursion-schemes foldable catamorphism

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

Does each type have a unique catamorphism?

haskell category-theory catamorphism

Is it possible to compare two trees with recursion schemes?

haskell tree abstract-syntax-tree catamorphism recursion-schemes

What's the relation of fold on Option, Either etc and fold on Traversable?

scala functional-programming scalaz category-theory catamorphism

A library implementation of a recursion scheme

haskell recursion catamorphism recursion-schemes

What is the connection between primitive recursion and catamorphisms?

haskell recursion functional-programming fold catamorphism

How to make catamorphisms work with parameterized/indexed types?

haskell algebra type-systems gadt catamorphism

Recursion Schemes in Agda

haskell recursion agda catamorphism recursion-schemes
Older Entries »