If you ever have a chance to hear Dave Thomas give this talk, run, don't walk. He gave a great talk on the "received wisdom" that too many of us in the software industry follow. Chief amongst those, of course, is declarative typing. I can't summarize the whole talk - he was funny, and his slides were amusing. If Dave is speaking at a conference near you, go.