Re: set functions and weak encapsulation

From: Sebastian Fischer <sebf_at_informatik.uni-kiel.de>
Date: Mon, 12 Mar 2012 11:23:24 +0100

> Moving sharing into or out of lambda abstractions is not a valid transformation in Curry in general, as it can change the set of solutions of a program.

You are right. MCC's 'findall' has a type like

    findall :: (a -> ()) -> {a}

I'd find

    values :: (() -> a) -> {a}

slightly more intuitive and I think both are evaluation order
independent although it has not yet been shown for any of them.

Sebastian
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mo Mär 12 2012 - 11:50:58 CET

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