Ahh, summer! A time for backyard barbeques, ice cold beer, baseball games, and
playing with experimental Haskell type system extensions. Or in my case, just
the latter. In this article I'll show you how to compute factorials using
Haskell's type system, i.e. at compile time.
Why would we want to do this? you may well ask. The real reason is
(
Read more... )