Question

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

score 714 · Answer 1 · 2024-12-30 23:24:13

714

Views

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

Published on 30 December 2024 at 23:24

score 1.5k · Answer 2 · 2024-12-30 23:16:56

1.5k

Views

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

Published on 30 December 2024 at 23:16

score 196 · Answer 3 · 2025-01-01 11:32:14

196

Views

mapAccumR -like recursion scheme over Fix?

Published on 01 January 2025 at 11:32

score 469 · Answer 4 · 2024-12-30 23:26:59

469

Views

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

Published on 30 December 2024 at 23:26

score 317 · Answer 5 · 2025-01-03 06:17:46

317

Views

Haskell Recursion Schemes: Traverse two structures simultaneously

Published on 03 January 2025 at 06:17

score 452 · Answer 6 · 2025-01-02 00:14:21

452

Views

Algorithm W using recursion schemes

Published on 02 January 2025 at 00:14

score 1k · Answer 7 · 2025-01-02 00:18:09

1k

Views

Haskell: Labeling an AST with type information using Algorithm W

Published on 02 January 2025 at 00:18

score 597 · Answer 8 · 2025-01-01 11:36:34

597

Views

Haskell Recursion Schemes: Label the tree with intermediate results

Published on 01 January 2025 at 11:36

score 95 · Answer 9 · 2025-01-06 22:59:48

95

Views

Morphism where the algebra receives the item's position

Published on 06 January 2025 at 22:59

score 110 · Answer 10 · 2025-01-01 11:32:13

110

Views

How do I write a CV-Coalgebra in Idris2?

Published on 01 January 2025 at 11:32

score 707 · Answer 11 · 2024-12-30 23:27:43

707

Views

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

Published on 30 December 2024 at 23:27

score 774 · Answer 12 · 2025-01-01 11:32:43

774

Views

List filter using an anamorphism

Published on 01 January 2025 at 11:32

score 157 · Answer 13 · 2025-01-01 11:35:15

157

Views

Composing non-distributive monads in recursion-schemes

Published on 01 January 2025 at 11:35

score 216 · Answer 14 · 2024-12-30 23:01:22

216

Views

Memoizing a recursion scheme

Published on 30 December 2024 at 23:01

score 1.4k · Answer 15 · 2024-12-30 23:12:32

1.4k

Views

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

Published on 30 December 2024 at 23:12

score 264 · Answer 16 · 2025-01-07 18:32:54

264

Views

Recursion scheme allowing dependencies between recursive calls (an ordered catamorphism?)

Published on 07 January 2025 at 18:32

score 561 · Answer 17 · 2025-01-01 11:33:33

561

Views

What is Fokkinga's prepromorphism meant to do?

Published on 01 January 2025 at 11:33

score 875 · Answer 18 · 2025-01-01 11:32:42

875

Views

Alpha Beta Pruning with Recursion Schemes

Published on 01 January 2025 at 11:32

score 229 · Answer 19 · 2025-01-01 11:34:07

229

Views

How can I avoid explicit recursion in this case?

Published on 01 January 2025 at 11:34

score 155 · Answer 20 · 2025-01-01 11:34:06

155

Views

Lattice paths algorithm using recursion schemes

Published on 01 January 2025 at 11:34

List Question

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

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

mapAccumR -like recursion scheme over Fix?

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

Haskell Recursion Schemes: Traverse two structures simultaneously

Algorithm W using recursion schemes

Haskell: Labeling an AST with type information using Algorithm W

Haskell Recursion Schemes: Label the tree with intermediate results

Morphism where the algebra receives the item's position

How do I write a CV-Coalgebra in Idris2?

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

List filter using an anamorphism

Composing non-distributive monads in recursion-schemes

Memoizing a recursion scheme

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

Recursion scheme allowing dependencies between recursive calls (an ordered catamorphism?)

What is Fokkinga's prepromorphism meant to do?

Alpha Beta Pruning with Recursion Schemes

How can I avoid explicit recursion in this case?

Lattice paths algorithm using recursion schemes

Trending Questions

Popular # Hahtags

Popular Questions