Re: MIU in Curry

From: Wolfgang Lux <>
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.


curry mailing list
Received on Mo Apr 29 2013 - 10:14:25 CEST

This archive was generated by hypermail 2.3.0 : Di Dez 05 2023 - 07:15:12 CET