This article describes type-first development (TFD). A software development methodology that is quite common among functional programmers and uses types as a simple way of communicating ideas about program design.
Not doing much functional programming myself, this is a novel way of going about things. I suppose I've done similar with OO languages, but F# seems to really simplify things here. I like it.