R Promise 中的值本身可以是 Promise吗

Question

我了解

R

承诺的基础知识。一个 Promise 包含三部分信息：

(env, expr, [val])

（val 仅在 Promise 被强制后才出现）。

我想检查以下关于承诺的主张/推理是否正确：

Promise 中的

val

本身不能是 Promise 类型的对象

推理：

1. val

   是在

   expr

    中评估 

   env
的结果
2. 没有表达式计算出 Promise 类型的对象

(2.) 应该为 true，因为 Promise 不是自评估的（例如，promise

(env, expr, val)

评估为

val

），而其他 R 对象是自评估的（例如

5

评估为

5

）。

Answer 1

您的问题有两个版本：

1. 我可以编写纯 R 代码来使 Promise 包含 Promise 吗？
2. 我可以编写一个包含 C 代码的包，其中包含一个 Promise 包含 Promise 的函数吗？

我认为问题 1 的答案是“否”是对的，但我不会在问题 2 上打赌。C 代码可以做违反规则的事情，但 R 在检测方面不断变得更好违反规则。所以我不知道这个目前走向何方。