[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: quasiquote limit cases
> R5RS says:
> ... If no commas appear within the <template>, the result of
> evaluating `<template> is equivalent to the result of evaluating
The intent was clear to me, but I think this is misleading because it
says that the *results* are equivalent; the results are values, and
thus it's reasonable to wonder about which definition of value
equivalence the authors meant.
If no commas appear within the <template>, the expression
`<template> is equivalent to the expression '<template>.
It's shorter, and it's clear that one is discussing the equivalence of
expressions: equivalence of effect and value.
>When goodwill and common sense fail, use mathematics.
Oh, please don't. RnRS is a much more approachable (and, in my
opinion, useful) document than the ML spec, even if the latter is more