Question

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

score 663 · Answer 1 · 2015-06-12 18:40:51

663

Views

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

Published on 12 June 2015 at 18:40

score 1.4k · Answer 2 · 2015-06-15 12:01:53

1.4k

Views

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

Published on 15 June 2015 at 12:01

score 144 · Answer 3 · 2016-12-19 16:40:11

144

Views

mapAccumR -like recursion scheme over Fix?

Published on 19 December 2016 at 16:40

score 414 · Answer 4 · 2014-11-19 22:14:38

414

Views

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

Published on 19 November 2014 at 22:14

score 255 · Answer 5 · 2017-09-09 11:13:36

255

Views

Haskell Recursion Schemes: Traverse two structures simultaneously

Published on 09 September 2017 at 11:13

score 397 · Answer 6 · 2017-09-08 23:43:19

397

Views

Algorithm W using recursion schemes

Published on 08 September 2017 at 23:43

score 1k · Answer 7 · 2017-09-09 20:43:14

1k

Views

Haskell: Labeling an AST with type information using Algorithm W

Published on 09 September 2017 at 20:43

score 540 · Answer 8 · 2017-09-09 14:59:42

540

Views

Haskell Recursion Schemes: Label the tree with intermediate results

Published on 09 September 2017 at 14:59

score 49 · Answer 9 · 2020-10-13 21:10:06

49

Views

Morphism where the algebra receives the item's position

Published on 13 October 2020 at 21:10

score 59 · Answer 10 · 2020-12-18 19:12:33

59

Views

How do I write a CV-Coalgebra in Idris2?

Published on 18 December 2020 at 19:12

score 659 · Answer 11 · 2018-11-27 04:28:05

659

Views

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

Published on 27 November 2018 at 04:28

score 725 · Answer 12 · 2013-08-24 18:45:22

725

Views

List filter using an anamorphism

Published on 24 August 2013 at 18:45

score 141 · Answer 13 · 2021-06-10 17:04:20

141

Views

Composing non-distributive monads in recursion-schemes

Published on 10 June 2021 at 17:04

score 188 · Answer 14 · 2022-12-14 13:42:00

188

Views

Memoizing a recursion scheme

Published on 14 December 2022 at 13:42

score 1.3k · Answer 15 · 2014-05-18 16:27:50

1.3k

Views

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

Published on 18 May 2014 at 16:27

score 251 · Answer 16 · 2021-01-29 18:30:08

251

Views

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

Published on 29 January 2021 at 18:30

score 545 · Answer 17 · 2017-11-24 01:32:26

545

Views

What is Fokkinga's prepromorphism meant to do?

Published on 24 November 2017 at 01:32

score 861 · Answer 18 · 2022-06-06 11:44:25

861

Views

Alpha Beta Pruning with Recursion Schemes

Published on 06 June 2022 at 11:44

score 181 · Answer 19 · 2022-06-06 20:37:22

181

Views

How can I avoid explicit recursion in this case?

Published on 06 June 2022 at 20:37

score 143 · Answer 20 · 2022-11-10 07:27:57

143

Views

Lattice paths algorithm using recursion schemes

Published on 10 November 2022 at 07:27

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