A talk on Math Laws in relation to Functional Programming by Nick Partridge at Brisbane Functional Programming Group, 2013-01-22.
Meetup link: bfpg.org/events/87030712/
"Nick Partridge (@nkpart) will give an Introduction to Laws, the unsung heros of programming.
Everyone who's seen a monad tutorial has heard of the Laws, but not much has been said of them on their own. We're going to explore what they are, why they're not only necessary to programming with typeclasses but also the most valuable feature, how to obey the laws and what happens when you break them (using examples of real world law violations).
Nick is a founding member of BFPG, and a contributor to a number of open-source Haskell and Scala libraries."