WARNING: THIS SITE IS A MIRROR OF GITHUB.COM / IT CANNOT LOGIN OR REGISTER ACCOUNTS / THE CONTENTS ARE PROVIDED AS-IS / THIS SITE ASSUMES NO RESPONSIBILITY FOR ANY DISPLAYED CONTENT OR LINKS / IF YOU FOUND SOMETHING MAY NOT GOOD FOR EVERYONE, CONTACT ADMIN AT ilovescratch@foxmail.com
You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: docs/README.org
+3-3Lines changed: 3 additions & 3 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -36,9 +36,9 @@ in upstream // overrides // additions
36
36
37
37
** Rationale
38
38
I originally encountered the paper while looking for a way to ensure stack safety with [[https://github.com/purescript-contrib/purescript-matryoshka][matryoshka]],
39
-
being briefly mentioned in a comment in [[https://github.com/purescript-contrib/purescript-matryoshka/issues/9#issuecomment-400384397][matryoshka#9]]. This eventually to the creation of [[https://github.com/PureFunctor/purescript-ssrs][ssrs]] where
40
-
I derived stack-safe recursion schemes via dissectible data structures based on the tail-recursive
41
-
catamorphism originally implemented in the paper.
39
+
being briefly mentioned in a comment in [[https://github.com/purescript-contrib/purescript-matryoshka/issues/9#issuecomment-400384397][matryoshka#9]]. This eventually led to the creation of [[https://github.com/PureFunctor/purescript-ssrs][ssrs]]
40
+
where I derived stack-safe recursion schemes via dissectible data structures based on the
41
+
tail-recursive catamorphism originally implemented in the paper.
42
42
43
43
Another use-case I've found is for implementing mutually recursive collections of types which is
44
44
explored in the paper: [[https://dl.acm.org/doi/abs/10.1145/1631687.1596585][Generic programming with fixed points for mutually recursive datatypes]]. I've
0 commit comments