The merits of strong typing (2002)
dhh.dk