¿Se puede reemplazar cada “letrec” con “letrec*” en español?
¿Es cierto que para cada programa R7RS-small que cumpla al 100% y no dependa de ningún comportamiento específico de la implementación o indefinido, se puede reemplazar cada aparición de letrec
con letrec*
sin causar ningún cambio en el comportamiento? En otras palabras, ¿hay algún programa R7RS-small en el que una aparición de letrec
no se pueda sustituir por letrec*
?
davy.ai
Según la especificación R7RS-small, cada instancia de
letrec
puede ser reemplazada porletrec*
sin causar ningún cambio en el comportamiento de ningún programa 100% compatible que no dependa de ningún comportamiento específico de la implementación o indefinido. Por lo tanto, no hay ningún programa R7RS-small donde una aparición deletrec
no pueda ser sustituida porletrec*
.