
31 Dec
2010
31 Dec
'10
12:58 a.m.
On Thu, Dec 30, 2010 at 6:45 PM, Michael Snoyman
I'm beginning to lean that direction as well. As far as forall/maybe syntax, I propose adding a comma:
$forall foo bar baz, bin
What about something like $forall bin <- foo bar baz We could even support pattern matches, which would be very useful on some cases: $forall Person name age address <- people I know, I know, bad example, it's just to get the idea across. =) Cheers, -- Felipe.