search

justinlubin / cobbler

Refactor programs to use library functions!
5 stars 0 forks source link

Make pull_out_cases more rigorous #3

Closed justinlubin closed 1 year ago

justinlubin commented 1 year ago

Could be foldr over sums. (foldr over list would be separate because maybe we don't want to represent lists as sums.)

justinlubin commented 1 year ago

Superseded by #29.

justinlubin commented 1 year ago

Actually, this is not superseded by #29. Replacing pull_out_cases with generalized catamorphisms must come after generalized catamorphisms are implemented!

In particular, after #29 is implemented, we will be able to treat pull_out_cases as normal catamorphism fusion without worrying about "foldr over sums" vs. "foldr over lists".

justinlubin commented 1 year ago

Implemented by #39.