Re: Curry's Constraint Syntax

From: Manuel Chakravarty <chak_at_greyarea.is.tsukuba.ac.jp>
Date: Tue, 10 Feb 1998 09:54:39 +0900

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

This archive was generated by hypermail 2.3.0 : Do Feb 01 2024 - 07:15:05 CET