Encoding correctness in types

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 maintainable way and prevent entire classes of errors from ever occurring at runtime,…

0

LiteratePrograms wiki

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 and some of the advantages it has for easy-to-read exhibition of…

0