Inheriting type safety

Created 2007-07-22T07:59:50.177Z, last edited 2007-07-23T03:52:38.619Z

Tony λ has written another post explaining type systems to “blub” developers. Although I'm a blub programmer myself I thought I'd attempt to provide some background and examples of what he's talking about for those who might find his explanation confusing.