Developing for Developers

Tools, techniques, and theory for measuring and improving the power and performance of developers and their code

March, 2006

  • Developing for Developers

    Encoding correctness in types

    • 0 Comments
    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...
  • Developing for Developers

    LiteratePrograms wiki

    • 0 Comments
    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...
Page 1 of 1 (2 items)