From: Jim Date: Sun, 1 Feb 2015 04:52:16 +0000 (-0500) Subject: update week1 notes X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=535177a34a2fc70c2b44bc57c13f952b00e4ac19 update week1 notes --- diff --git a/week1.mdwn b/week1.mdwn index 18bd2d9a..9af40543 100644 --- a/week1.mdwn +++ b/week1.mdwn @@ -303,14 +303,25 @@ but in other examples it will be substantially more convenient to be able to bin which will evaluate to `[10, 20]`. Note that we have the function `f` returning two values, rather than just one, just by having its body evaluate to a multivalue rather than to a single value. +It's a little bit awkward to say `let (x, y) be ...`, so I propose we instead always say `let (x, y) match ...`. (This will be even more natural as we continue generalizing what we've done here, as we will in the next section.) For consistency, we'll say `match` instead of `be` in all cases, so that we write even this: + let + x match 10 + in ... +rather than: + + let + x be 10 + in ... -*More coming* ### Patterns ### + + + *More coming* ### Recursive let ###