Dear Colleagues,
a new version of PAKCS, the Portland Aachen Kiel Curry System,
is available for downloading via the web page
http://www.informatik.uni-kiel.de/~pakcs/
Here are a few changes (apart from the usual bug fixes)
in comparison to the previous version 1.2:
- The definition of ports (datatype Port and its
associated operations for distributed programming)
has been moved from the prelude into a separate system module.
Thus, all applications using ports must now have the import
declaration "--import Ports".
- The functionality of ports has been extended: ports can now be named
by arbitrary symbolic names (instead of socket numbers as in the previous
version). The name resolution is done by a specific Curry port name
server (which is actually implemented in Curry).
- The Curry2Prolog compiler is based on a new intermediate
language (*.flc files instead of *.flat files) which is closer
to the definition of FlatCurry in the corresponding system module.
- The system library (a short description of all modules can be
found in
http://www.informatik.uni-kiel.de/~pakcs/lib/) has been
extended with new modules for parsing HTML documents and tools for
supporting meta-programming based on FlatCurry.
Let me draw your attention to FlatCurry
(
http://www.informatik.uni-kiel.de/~pakcs/lib/Flat.lcurry).
This module has been developed to support meta-programming in Curry
and contains a number of datatype definitions for representing
Curry programs in a so-called "flat form" (where pattern matching,
lambda lifting and type inference has been already performed).
It is a good basis to develop further tools for Curry (e.g.,
compiler, program analyzer, partial evaluator, debugger) in Curry
and, therefore, I'd like to propose this module as a standard module
for future versions of Curry so that we can easily exchange
and integrate different tools for Curry.
Have fun!
Michael
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mo Dez 18 2000 - 14:12:14 CET