> 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