On 5/29/07, Andrew Coppin <[EMAIL PROTECTED]> wrote:
My point is for most programs, trying to figure out exactly what you want the program to do is going to be much harder than implementing a program that does it.
Writing a spec can help with figuring out what you want your program to do.
Also, for most programs the spec is far more complicated (and hence prone to error) than the actual program, so...
Really? That might be a good sign that there's something wrong with the spec, the program, or your understanding of the problem. In Haskell, the most common form of specification is probably type signatures. Those are usually simpler than the corresponding implementations. Cheers, Tim -- Tim Chevalier * [EMAIL PROTECTED] * Often in error, never in doubt _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
