[curry] Re: Haskell compatibility

From: Volker Wysk <post_at_volker-wysk.de>
Date: Thu, 19 Dec 2019 13:55:35 +0100

Am Donnerstag, den 19.12.2019, 10:46 +0100 schrieb Michael Hanus:
> On 12/17/19 2:36 PM, Volker Wysk wrote:
> > I'm a long-term Haskell user. Yes, that difference in the
> > interpretation of equations was a source of confusion when I
> > (partially) learned Mercury a few months ago...
> >
> > So you can't avoid looking at the entire code closely, when you
> > want to
> > port from Haskell to Curry.
>
> Yes, this is true. You can translate each function individually,
> but to avoid such misinterpretations, the patterns have to be
> considered. Fortunately, our current front end provides warnings
> in case of overlapping rules. Furthermore, the Curry program
> analysis system CASS contains also (non)determinism analyses
> which shows you potential sources of non-deterministic
> behavior. This could be helpful when you port Haskell programs.

Sounds good. Thanks.

Volker
_______________________________________________
curry mailing list -- curry_at_lists.rwth-aachen.de
To unsubscribe send an email to curry-leave_at_lists.rwth-aachen.de
https://lists.rwth-aachen.de/postorius/lists/curry.lists.rwth-aachen.de
Received on Do Dez 19 2019 - 13:59:38 CET

This archive was generated by hypermail 2.3.0 : Mi Okt 28 2020 - 07:15:06 CET