Theorems for Free!
Parametrikistan
Joined January 2015
- Tweets57
- Following0
- Followers1.1K
- Likes0
Parametricity retweeted
Generalize an abstraction because removing nonessential information clarifies its independent meaning.
Re-use is accidental. @fronx
Parametricity retweeted
Proof `fmap f.fmap g=fmap(f.g)` follows from `fmap id=id` and the free theorem: fpcomplete.com/user/edwardk/… /cc @BartoszMilewski @parametricity
