Re: MIU in Curry

From: Wolfgang Lux <wlux_at_uni-muenster.de>
Date: Mon, 29 Apr 2013 10:13:38 +0200

Michael Hanus wrote:

> On 04/28/2013 05:51 PM, Wolfgang Jeltsch wrote:
>>> P.S. All major Curry implementations (PAKCS, MCC, as well as KiCS2)
>>> > support function patterns but (among them) only MCC and KiCS2 support
>>> > breadth first search.
>> Good to know. I had got the impression that only KiCS2 supports
>> functional patterns.
>>
>
> Basically, PAKCS and KiCS2 have the same front end (derived from the MCC
> front end but developed in a different way) so that the supported
> features are quite similar. The only but important exceptions are
> the search strategies (PAKCS is limited to depth-first search)
> and a more general implementation of set functions in KiCS2.
> Moreover, KiCS2 is more efficient (w.r.t. execution time of the
> target programs) but slower in compilation time (due to its use of ghc).
>
> I was not aware of the fact that MCC also supports functional patterns.
> Which version should I use? I use version 0.9.11 and I can't see
> there a support for functional patterns.

Version 0.9.11 indeed doesn't support function patterns. The source version as well as the type classes branch do support function patterns however.

Wolfgang


_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mo Apr 29 2013 - 10:14:25 CEST

This archive was generated by hypermail 2.3.0 : Do Jun 20 2024 - 07:15:12 CEST