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

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

How to write less boilerplate in a expression evaluator written with recursion-schemes

haskell syntax boilerplate recursion-schemes

Proving the fusion law for unfold

haskell recursion proof induction recursion-schemes

Chaining values with catamorphisms

haskell functional-programming recursion-schemes

Recursion schemes using `Fix` on a data-type that's already a Functor?

haskell functor recursive-datastructures recursion-schemes fixpoint-combinators

What is Fokkinga's prepromorphism meant to do?

haskell recursion-schemes

Using recursion schemes in Haskell for solving change making problem

haskell recursion dynamic-programming recursion-schemes

Avoid non-exhaustive pattern match when using para recursion-scheme

haskell recursion-schemes

Monoidal folds on fixed points

haskell monoids recursion-schemes

How to update a structure with recursion schemes?

haskell recursion-schemes

Unfolding non-empty structures to lists

haskell recursion-schemes corecursion

How can I use a recursion scheme to express this probability distribution in Haskell

haskell recursion probability category-theory recursion-schemes

Infinite recursive types in Coq (for Bananas and Lenses)

coq recursion-schemes

Catamorphism that allows looking at part of the final result

haskell lazy-evaluation recursion-schemes catamorphism

How can I walk this type with a recursion scheme instead of explicit recursion?

haskell recursive-datastructures recursion-schemes

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

No instance for (Data.Functor.Classes.Show1 ExprF)

haskell typeclass recursion-schemes
Older Entries »