I'm a Principal at ThoughtWorks, classical composer, and physics amateur.
Friday, February 03, 2012
Type Theory for the Uninitiated
Kalani Thielen presents The Algebra of Data, and the Calculus of Mutation, or Type Theory for the Uninitiated. Fine calculus a bit soft, algebra a little dull, programming a walk in the park? Type theory is for you.
No comments:
Post a Comment