Talk:Type arithmetic

From HaskellWiki
Revision as of 11:53, 12 March 2007 by MathematicalOrchid (talk | contribs) (Why?)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

This page seems to explain what but not why. I don't know about anyone else, but when I read 'arithmetic at the type level', the very first thought that pops into my head is 'why in the name of God would you want to do such an insane thing?' MathematicalOrchid 11:53, 12 March 2007 (UTC)