¿Por qué no promete un tipo de datos en Scheme?

Question

El objeto devuelto por delay en Scheme es "una promesa", pero las promesas no se consideran un tipo (por lo que no hay un procedimiento promise?, y no aparece como un tipo en R5RS o R6RS).

¿Hay una fuerte reson por qué esto es así? Me parece bastante natural hacer algo como (if (promise? x) (force x) x), por ejemplo. (Y veo que algunas implementaciones me permitirán forzar las promesas y otras no). Además, si puedo almacenar algo en una variante y pasarlo, siento que debería tener un tipo.

Answer 1

No puede haber una fuerte razón, ya que MIT/GNU scheme, define una función promise?.

Answer 2

Creo que permite una implementación más optimizada de delay/force. El hecho de que el valor forzado pueda ser memorizado (de modo que una promesa sea realmente forzada solo una vez y el valor resultante sea devuelto en las siguientes llamadas force) desdibuja la distinción entre una promesa y su valor resultante. Si tiene promise?, no puede sustituir una promesa forzada por su valor donde sea que se necesite. Por lo tanto, dependiendo de la implementación, una promesa puede ser indistinguible de cualquier otro valor del Esquema.