LET-syntax for multiple values
This SRFI is currently in ``draft'' status. To see an explanation of each
status that a SRFI can hold, see
here.
It will remain in draft status until 2005/07/14, or as amended. To
provide input on this SRFI, please
mailto:srfi-71@srfi.schemers.org.
See instructions
here to subscribe to the list. You can access previous messages via
the
archive of the mailing list.
let,
let*, and letrec
for receiving multiple values.
The syntactic extension is fully compatible with the existing syntax.
It is the intention that single-value bindings,
i.e. (let ((var expr)) ...), and
multiple-value binding can be mixed freely and conveniently.
The most simple form of the new syntax is best explained by an example:
(define (quo-rem x y)
(values (quotient x y) (remainder x y)))
(define (quo x y)
(let ((q r (quo-rem x y)))
q))
The procedure quo-rem delivers two values to
its continuation. These values are received as q
and r in the let-expression of the
procedure quo.
In other words, the syntax of let is extended such
that several variables can be specified---and these variables
receive the values delivered by the expression (quo-rem x y).
The syntax of let is further extended to cases in which
a rest argument receives the list of all residual values.
Again by example,
(let (((values y1 y2 . y3+) (foo x))) body)In this example,
values is a syntactic keyword
indicating the presence of multiple values to be received,
and y1, y2, and y3+,
resp., are variables bound to the first value, the second value,
and the list of the remaining values, resp., as produced by
(foo x).
The syntactic keyword values allows receiving
all values as in (let ((values . xs) (foo x)) body).
It also allows receiving no values at all as in
(let ((values) (for-each foo list)) body).
A common application of binding multiple values is
decomposing data structures into their components.
This mechanism is illustrated in its most primitive form as follows:
The procedure uncons (defined below)
decomposes a pair x into its car and its cdr
and delivers them as two values to its continuation.
Then an extended let can receive these values:
(let ((car-x cdr-x (uncons x))) (foo car-x cdr-x))Of course, for pairs this method is probably neither faster nor clearer than using the procedures
car
and cdr.
However, for data structures doing substantial work upon
decomposition this is different: Extracting the element of
highest priority from a priority queue, while at the
same time constructing the residual queue,
can both be more efficient and more convenient than
doing both operations independently.
In fact, the quo-rem example illustrates this
point already as both quotient and remainder are probably
computed by a common exact division algorithm.
(And often caching is used to avoid executing this
algorithm twice as often as needed.)
As the last feature of this SRFI, a mechanism is specified
to store multiple values in heap-allocated data structures.
For this purpose, values->list and values->vector
construct a list (a vector, resp.) storing all values delivered
by evaluating their argument expression.
Note that these operations cannot be procedures.
The reason for this hesitation is that multiple values are
nearly fully integrated into Scheme---but not quite.
(Unlike for example in the languages Matlab, Octave, or
the computer algebra system Magma, in which returning
multiple values from a function is the most natural thing
in the world: q, r := quo_rem(x, y);)
However, considerable progress has been made on this point,
and I understand this SRFI as a minor contribution
"placing the last corner stone".
But first a very brief history of multiple values in Scheme,
as far as relevant for this SRFI.
R5RS specifies the procedures values
and call-with-values for passing any number of values
from a producer procedure to a consumer procedure.
This is the only construct in R5RS
dealing with multiple values explicitly, and it is sufficient
to implement anything that can be implemented for multiple values.
However, as John David Stone observed in SRFI 8,
the mechanism exposes explicitly how multiple values are
passed---but that is hardly ever interesting.
In fact, call-with-values is often clumsy because
the continuations are made explicit.
SRFI 8 improves on this situation
by adding the special form
(receive <formals> <expression> <body>)
for receiving several values produced by the expression
in variables specified by <formals> and
using them in the body.
The major limitation of receive is that it can only
handle a single expression, which means programs dealing with
multiple values frequently get deeply nested.
SRFI 11 provides a more versatile construct:
Let-values and let*-values are
modelled after let and let* but
replace <variable> by an argument list
with the syntax of <formals>.
The let-values binding construct makes multiple
values about as convenient as it will ever get in Scheme.
Its primary shortcoming is that let-values is
incompatible with the existing syntax of let:
In (let-values ((v x)) ...) is v bound
to the list of all values delivered by x (as in SRFI 11)?
Or is x to deliver a single value to be
bound to v (as in let)?
Refer to the
discussion
archive of SRFI 11 for details.
Moreover, let-values suffers from "parenthesis complexity",
despite Scheme programmers are tolerant to braces.
Eli Barzilay's Swindle library (for MzScheme) on
the other hand redefines let to include multiple-values and internal
procedures: The syntactic keyword values indicates the
presence of multiple values, while additional parentheses (with the
syntax of <formals>)
indicate a lambda-expression as right-hand side.
This SRFI follows Eli's approach, while keeping the syntax simple (few parentheses and concepts) and adding tools for dealing more conveniently with multiple values. The aim is convenient integration of multiple values into Scheme, at full coexistence with the existing syntax (R5RS.) This is achieved by extending the syntax in two different ways (multiple left-hand sides or a syntactic keyword) and adding operations to convert between (implictly passed) values and (first class) data structures.
Finally, I would like to mention that Oscar Waddell et al.
describe an efficient compilation method for Scheme's
letrec (Fixing Letrec)
and propose a letrec* binding construct
to as a basis for internal define.
I expect their compilation method (and letrec*)
and this SRFI to be fully compatible with one another,
although I have not checked this claim by way of implementation.
<binding spec> --> (<variable> <expression>)by the three new productions
<binding spec> --> ((values <variable>*) <expression>) <binding spec> --> ((values <variable>* . <variable>) <expression>) <binding spec> --> (<variable>+ <expression>)The form
(<variable>+ <expression>) is just
an abbreviation for ((values <variable>+) <expression>),
and it includes the original <binding spec> of R5RS.
The first two forms are evaluated as follows: The variables are bound and
the expression is evaluated according to the enclosing construct
(either let, let*, or letrec.)
However, the expression may deliver any number of values to its continuation,
which stores these values into the variables specified,
possibly allocating a rest list in case of the . <variable> form.
The number of values delivered by the expression must match the
number of values expected by the binding specification.
Otherwise an error is raised, as call-with-values would.
This implies in particular, that each binding of a named let involves
exactly one value, because this binding can also be an argument to a
lambda-expression.
(define (uncons pair) (values (car pair) (cdr pair))) (define (unlist list) (apply values list)) (define (unvector vector) (apply values (vector->list vector)))These procedures decompose the standard concrete data structures (pair, list, vector) and deliver the components as values. It is an error if the argument cannot be decomposed as expected. Note that the procedures are not necessarily implemented by the definition given above. Finally, the following two macros are added to the standard macros:
(values->list <expression>) (values->vector <expression>)These operation receive all values (if any) delivered by their argument expression and return a newly allocated list (vector, resp.) of these values.
let
etc. in order to include multiple values.
It is also desireable to extend the syntax of let
for simplifying the definition of local procedures.
(For example, as in Swindle.)
However, this SRFI does not include this feature.
The reason I have chosen not restrict this SRFI to a syntax for multiple values is simplicity.
unlist etc.?unlist is list->values,
which is a more symmetrical with respecto to its
inverse operation list->values.
This symmetry ends, however, as soon as more complicated
data structures with other operations are involved.
Then it becomes aparent that the same data structure can
support different decomposition operations:
A double-ended queue (deque) for example supports splitting off
the head and splitting of the tail; and neither of these
operations should be named deque->values.
The un-convention covers this in a natural way.
letrec.
The definition of the actual functionality can be found
here.
The implementation defines macros srfi-let/*/rec etc.
in terms of r5rs-let/*/rec.
Implementors may use this to redefine (or even reimplement)
let/*/rec in terms of srfi-let/*/rec,
while providing implementations of r5rs-let/*/rec.
An efficient method for the latter is given in Fixing Letrec
by O. Waddell et al.
R5RS:
For trying out the functionality, a complete implementation under
R5RS can be found here.
It defines r5rs-let/*/rec in terms of lambda
and redefines let/*/rec as srfi-let/*/rec.
This may not be the most efficient implementation, because many
Scheme systems handle let etc. specially and do not
reduce it into lambda
PLT 208:
The implementation found here
uses PLT's module system for exporting
srfi-let/*/rec
under the name of let/*/rec, while defining
r5rs-let/*/rec as a copy of the built-in
let/*/rec. This code should be efficient.
Examples using the new functionality can be found here.
| [R5RS] | Richard Kelsey, William Clinger, and Jonathan Rees (eds.): Revised^5 Report on the Algorithmic Language Scheme of 20 February 1998. Higher-Order and Symbolic Computation, Vol. 11, No. 1, September 1998. http://schemers.org/Documents/Standards/R5RS/. |
| [SRFI 8] | John David Stone: Receive: Binding to multiple values.
http://srfi.schemers.org/srfi-8/
|
| [SRFI 11] | Lars T. Hansen: Syntax for receiving multiple values. http://srfi.schemers.org/srfi-11/ |
| [Swindle] | Eli Barzilay: Swindle, documentation for "base.ss" (Swindle Version 20040908.) http://www.cs.cornell.edu/eli/Swindle/base-doc.html#let |
| [Fix] | O. Waddell, D. Sarkar, R. K. Dybvig: Fixing Letrec: A Faithful Yet Efficient Implementation of Scheme's Recursive Binding Construct. To appear, 2005. http://www.cs.indiana.edu/~dyb/pubs/fixing-letrec.pdf |
Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the ``Software''), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:
The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.
THE SOFTWARE IS PROVIDED ``AS IS'', WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.