Monday, July 29, 2013
HaskellerZ: How polymorphic types give rise to free theorems
Last week I attended a talk titled "How polymorphic types give rise to free theorems", which was basically an introduction to what's explained and elaborated in these two papers:
- Theorems for free!
- Free Theorems in the Presence of seq
As much as this has nothing to do with anything I do, I still find the topic quite interesting, and do recommend the papers to anyone with an interest in Haskell, coding in general or math. =)