functional programs, was: Re: [Termtools] Next competition

[Claude Marche]

>>>>> "Johannes" == Johannes Waldmann <waldmann at imn.htwk-leipzig.de> writes:

    >> I propose to use the syntax and the evaluation strategy of Haskell98
    >> (as defined by http://haskell.org/onlinereport/).

    Johannes> While we're at it, we probably don't want
    Johannes> "let", "lambda" and "where" either (at least for the start)
    Johannes> so that it looks more like term rewriting.

On the contrary, we should allow these. If a tool cannot deal
with them, it should simply give up.

>From your answers, may I assume that at least two tools could
participate to a Haskell programs category ? That would be great ! 


-- 
| Claude Marché           | mailto:Claude.Marche at lri.fr |
| LRI - Bât. 490          | http://www.lri.fr/~marche/  |
| Université de Paris-Sud | phoneto: +33 1 69 15 64 85  |
| F-91405 ORSAY Cedex     | faxto: +33 1 69 15 65 86    |
_______________________________________________
Termtools mailing list
Termtools at serveur-listes.lri.fr
http://serveur-listes.lri.fr/mailman/listinfo/termtools