Question

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

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

702

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 184 · Answer 3 · 2025-01-01 11:32:14

184

Views

mapAccumR -like recursion scheme over Fix?

Published on 01 January 2025 at 11:32

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

455

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 297 · Answer 5 · 2025-01-03 06:17:46

297

Views

Haskell Recursion Schemes: Traverse two structures simultaneously

Published on 03 January 2025 at 06:17

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

439

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 581 · Answer 8 · 2025-01-01 11:36:34

581

Views

Haskell Recursion Schemes: Label the tree with intermediate results

Published on 01 January 2025 at 11:36

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

86

Views

Morphism where the algebra receives the item's position

Published on 06 January 2025 at 22:59

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

97

Views

How do I write a CV-Coalgebra in Idris2?

Published on 01 January 2025 at 11:32

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

697

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 763 · Answer 12 · 2025-01-01 11:32:43

763

Views

List filter using an anamorphism

Published on 01 January 2025 at 11:32

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

151

Views

Composing non-distributive monads in recursion-schemes

Published on 01 January 2025 at 11:35

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

206

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 259 · Answer 16 · 2025-01-07 18:32:54

259

Views

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

Published on 07 January 2025 at 18:32

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

554

Views

What is Fokkinga's prepromorphism meant to do?

Published on 01 January 2025 at 11:33

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

868

Views

Alpha Beta Pruning with Recursion Schemes

Published on 01 January 2025 at 11:32

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

218

Views

How can I avoid explicit recursion in this case?

Published on 01 January 2025 at 11:34

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

149

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