[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

define



    Date: Sun, 13 Apr 86 15:53 CST
    From: Kirchner at CSNET-RELAY.ARPA,
          Roger <rkirchne%carleton.csnet at CSNET-RELAY.ARPA>
    To:   scheme at mc.lcs.mit.edu

    If
    (define (comp f g) (lambda (x) (f (g x))))
    is allowed, why shouldn't
    (define ((comp f g) x) (f (g x)))
    be allowed?

    Evidently it is in MIT Scheme, and it is in PC Scheme, an
    implementation of TI Scheme.  In what Schemes is it allowed,
    which treat it as an error, and which give it a different
    interpretation?

This feature is documented by the Revised Revised Report on Scheme, as a
non-essential feature, which means that if any scheme implementation
allows this syntax, it's supposed to do what's described.  Most of the
Scheme implementations out there now follow this report.  Although I
don't think everyone's happy with the feature, I haven't heard of any
movement afoot to retract it in future versions of the report.

Jonathan