[Haskell] Re: [Haskell-cafe] Re: ANN: spec2code

Tom Hawkins tomahawkins at gmail.com
Mon Apr 5 10:34:39 EDT 2010

On Mon, Apr 5, 2010 at 4:00 AM, Heinrich Apfelmus
<apfelmus at quantentunnel.de> wrote:
>> Does it scale?  Absolutely, spec2code is not confined to
>> specifications for which optimized algorithms are already known.
>> spec2code can be used to implement operation systems, device drivers,
>> build systems, package management tools, and even do your shirt
>> laundry.  spec2code will change your job from programmer to
>> specification author, giving you more time for meetings, managing
>> email, and browsing the web.  Say goodbye to those dirty Perl scripts,
>> broken C code, and ultimately, your job.  spec2code is the future of
>> programming and the beginning of the end of mankind.
>> Looking forward to obsoleting you soon,
> Awesome! Given the great potential of the new  spec2code  compiler, the
> reception seems to be somewhat chilly. But maybe that's because no one
> likes to be obsoleted...

Or it could just be that time of year.  (Apr 1st)

More information about the Haskell mailing list