[Haskell-cafe] Language extensions

[Tim Chevalier]

On 5/29/07, Andrew Coppin <andrewcoppin at btinternet.com> 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 * chevalier at alum.wellesley.edu * Often in error, never in doubt