recschemes

recschemes copied to clipboard

``` change :: Cent -> Int change amt = histo go (expand amt) where go :: Nat (Attr Nat Int) -> Int go Zero = 1 go curr@(Next attr) =...

SkylerLutz

The `change` function appears not to always give the right answer

3

When I run the `change` function from the [section on futumorphisms](https://blog.sumtypeofway.com/recursion-schemes-part-iv-time-is-of-the-essence/), it reports that there are 3 ways to make change for 10 cents. But it seems like there are...

JeffreyBenjaminBrown

Some inconsistencies in futumorphism section

1

`Stop` is mentioned a few times but never declared. I think this should be changed to `Manual`? Also in 1 snippet, the `grow` function returns only a 2-tuple, while it...

luc-tielen

Broken links?

3

At the bottom of the page, the link should be: https://blog.sumtypeofway.com/posts/recursion-schemes-part-3.html Instead I get a 404 error, it tries to link me to: http://blog.sumtypeofway.com/recursion-schemes-part-iii-folds-in-context/

luc-tielen

Missing diagram in chapter 5

1

Hi, thank you for these articles! I'm really enjoying them and learning a lot! In chapter 5, it talks about a diagram, and the source links to `/content/images/2018/12/cata-rtl.png`. But I...

jtran