[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Kent M Pitman said that there are other possible interpretations of
(DEFINE (((...) ...) ...) ...)
besides as an extended template for procedure definition.
What would be the objections to making this interpretation standard?
(define (comp f g) (lambda (x) (f (g x))))
is allowed, why shouldn't
(define ((comp f g) x) (f (g x)))
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