This article will discuss effective use of types to catch some common problems at compile time not normally found by the typechecker. The typechecker is the most important tool in the programmer's arsenal. Types enable you to structure code in a more...

Hi everybody. This is a short post, but I just wanted to tell you all about a new wiki I created called LiteratePrograms , based on an extension of the same MediaWiki software used by Wikipedia . Some of you read my earlier post about literate programming...