[Haskell-cafe] Language extensions

[Stefan Holdermans]

> True in principle. But if writing the spec is harder than writing  
> the actual program, all it means is you spend longer trying to  
> figure out how to express intuitively simple concepts using  
> advanced and very abstract and subtle predicate calculus.

As it turns out, Haskell sometimes makes a suitable specification  
language:

   Paul Hudak and Mark P. Jones.
   Haskell vs. Ada vs. C++ vs. Awk vs....:
   An experiment in software prototyping productivity.
   1994.
   http://haskell.org/papers/NSWC/jfp.ps

Cheers,

   Stefan