Sven.Panne_at_informatik.uni-muenchen.de writes,
> If Curry wants to stay compatible with Haskell, there is a problem
> with Curry's constraint syntax and Haskell's labeled
> updates:
[...]
We had the same problem with Goffin with Haskell 1.4 (as
Curry's syntax is inspired by Goffin that is not very
surprising). The latest Goffin paper ``Distributed Haskell:
Goffin on the Internet'' (to appear in ``Proceedings of the
Third Fuji International Symposium on Functional and Logic
Programming''), contains our solution, i.e., a completely
Haskell compatible syntax, in the appendix. If you are
interested, you can find the paper at
http://www.score.is.tsukuba.ac.jp/~chak/papers/papers.html#goffin-dist
Cheers,
Manuel
-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
Manuel M. T. CHAKRAVARTY chak_at_score.is.tsukuba.ac.jp
University of Tsukuba, Japan
http://www.score.is.tsukuba.ac.jp/~chak/
SCORE Lab. Inst. of Information Sciences and Electronics
Received on Di Feb 10 1998 - 01:53:00 CET