This article is vitriolic and unhelpful, but the one it links: http://www.pphsg.org/cdsmith/types.html http://www.pphsg.org/cdsmith/types.html is actually a ver

This article is vitriolic and unhelpful, but the one it links: http://www.pphsg.org/cdsmith/types.html http://www.pphsg.org/cdsmith/types.html is actually a very good read if you're interested in type systems.