The type-system silhouette of the proto-program
In an
interesting description of typeful program development
(Haskell-oriented in this case),
totherme
mentioned a nice metaphor for visualizing how one might
go about creating a program in a typeful way.
The situation is that we have a (most likely partial, and often
only mental) spec of what the program should do, and we
write down an approximation of some types that might
help solve the problem.
The central image of the metaphor is that this approximation
is the silhouette of the spec on the type system.
The activity then is to flesh out that silhouette,
give it additional dimensions, depth and color (guided
by the type system), until it's tangible.
12:00:38 AM
Random radio Weblog