Simplifying Expressions Bottom-Up(buttondown.email)
buttondown.email
Simplifying Expressions Bottom-Up
https://buttondown.email/jaffray/archive/simplifying-expressions-bottom-up/
2 comments
aren't these usually called "smart constructors"? eg https://wiki.haskell.org/Smart_constructors#Runtime_Optimisa...
I had not heard of this term but it sounds like the same thing!