No, it's aimed at beginning-level programming students,
especially those who are struggling with the idea of
recursion.
So, not only is it not intended as a full-featured real world
programming language, but it is definitely not suited for
that purpose:
-- Very small set of build-in functions.
-
Friends
Many of you will know that I've been muttering about re-engineering GHC's type
inference engine for some time now. Dimitrios, Tom, Martin and I have just
completed an epic paper describing the Glorious New Framework that forms the
substance of the above mutterings:
http://haske
-- Apologies for multiple copies --
VSTTE 2010: Workshops on Theories, Tools and Experiments
Edinburgh, Scotland, 19th August 2010
(*** only 1 week to go! *)
The Third International Conference on Verified Software: Theories,
Tools, and Experiments (VSTT
