Math into code

http://matt.might.net/articles/discrete-math-and-code/

Mildly interesting article... kind of functional programming from the math side...