[Haskell] Re: [Haskell-cafe] Re: ANN: spec2code
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