I wonder if anyone has ever thought about allowing a "where" clause with co=
nditions in a Curry expression. For instance, I wish this were a valid exp=
ression:
(x where length x == 3)
(I also like to assume unbound variables are free, but that's a different t=
opic.)
Any thoughts?
-Andy
_______________________________________________
curry mailing list
curry_at_lists.rwth-aachen.de
https://mailman.rwth-aachen.de/mailman/listinfo/curry
Received on Do Mär 09 2017 - 11:29:11 CET