Fcalva/cyclone
1
0
Fork 0
mirror of https://github.com/justinethier/cyclone.git synced 2025-05-18 21:29:18 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

WIP

Browse source
This commit is contained in:
Justin Ethier 2016-12-10 03:59:51 -05:00
parent d779077b3e
commit 13c348d419
1 changed files with 16 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
docs/api/scheme/case-lambda.md
View file

@ -8,8 +8,24 @@ For more information see the [R<sup>7</sup>RS Scheme Specification](../../r7rs.p
# case-lambda
*Syntax*
(case-lambda {clause} ...)
Syntax: Each `{clause}` is of the form `({formals} {body})`, where `{formals}` and `{body}` have the same syntax as in a lambda expression.
Semantics: A `case-lambda` expression evaluates to a procedure that accepts a variable number of arguments and is lexically scoped in the same manner as a procedure resulting from a lambda expression.
When the procedure is called, the first `{clause}` for which the arguments agree with `{formals}` is selected, where agreement is specified as for the `{formals}` of a lambda expression. The variables of `{formals}` are bound to fresh locations, the values of the arguments are stored in those locations, the `{body}` is evaluated in the extended environment, and the results of `{body}` are returned as the results of the procedure call.
It is an error for the arguments not to agree with the `{formals}` of any `{clause}`.
(define range
(case-lambda
((e) (range 0 e))
((b e) (do ((r ’() (cons e r))
(e (- e 1) (- e 1)))
((< e b) r)))))
(range 3) => (0 1 2)
(range 3 5) => (3 4)