Curry syntax

From: Andy Jost <Andrew.Jost_at_synopsys.com>
Date: Wed, 8 Mar 2017 18:46:22 +0000

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

This archive was generated by hypermail 2.3.0 : Do Feb 01 2024 - 07:15:12 CET