Archive for January, 2005

Three Lefts Make a Right: The Type Declaration Paradox

Monday, January 3rd, 2005

A few days ago I argued that even though type declarations aren’t the best possible solution for any particular problem, they can be the right solution for solving several problems at once. I baffled even smart people. If I had longer I’d write a clarification. As it is, I’ll just give an example.

Type Declarations as Documentation

Let’s say that I’m writing a function f() that takes two arguments:


Read the rest of this entry »