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

[Peter Schneider-Kamp]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Johannes Waldmann wrote:
> Also, the suggestion was to have a program and a start term.
> What would be the syntax for giving this term?

Dear Johannes,

I think the syntax should be a subset of Haskell terms. Here
we should disallow lets, wheres and lambdas etc. and simply take
abstract terms consisting of bound and abstract variables
as well as constants with application as the only non-atom.
E.g. "take 10 (from x)" or "take" but not "let f x = f x in f".

The terms could be given inside the program as comments
(prefixed with "-- ") or supplied as arguments to the runme
executables.

Best regards,
Peter
- --
Peter Schneider-Kamp   mailto:psk at informatik.rwth-aachen.de
LuFG Informatik II     http://www-i2.informatik.rwth-aachen.de/~nowonder
RWTH Aachen            phone: ++49 241 80-21211
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2.1 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFEGUYH3VbrCXkKHhwRAuUAAJ9J2pN/MTekLoOFDJVN2A+a7E4k4QCgpRBW
tnXqxUZbg3ZMkYKjXRtfyWY=
=UghE
-----END PGP SIGNATURE-----

_______________________________________________
Termtools mailing list
Termtools at serveur-listes.lri.fr
http://serveur-listes.lri.fr/mailman/listinfo/termtools