30 May
2007
30 May
'07
4:47 a.m.
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