为什么不承诺Scheme中的数据类型？

Question

delayScheme中返回的对象是"承诺",但承诺不被视为类型(因此没有promise?过程,并且它未在R5RS或R6RS中列为类型).

有这么强烈的共鸣吗？例如(if (promise? x) (force x) x),对我来说,做一些事情似乎很自然.(我看到一些实现会让我强迫非承诺,而其他实现则不会).此外,如果我可以存储一个变量并传递它,我觉得它应该有一个类型.

Answer 1

不可能有那么强有力的理由，因为MIT/GNU 方案定义了一个promise?函数。