Closed an open recursion symbol 理解
Closed an open recursion symbol understanding
这个问题不是直接关于什么是开递归或闭递归，正如我们在 this question, but it's more specifically about this talk 上看到的那样，它在许多地方被引用。
里面我们可以看到这样的表达式：
(fun(x1:τ1)⇒e)⇓(fun(x1:τ1)⇒e)
我的问题是：⇓ 代表什么？
我环顾了这个互联网，没有发现任何特别之处，考虑到用谷歌搜索符号总是很乏味。
不确定它是否确实回答了您的问题，但是通过在线阅读各种 material 我认为 ⇓ 意味着 评估为 或 减少到.
对于表达式：
(fun(x1:τ1)⇒e)⇓(fun(x1:τ1)⇒e)
意思是，以τ1类型的x1作为参数的函数fun可以缩减为同一个函数。
SE 上的 this question 可能会对您有所帮助。
这个问题不是直接关于什么是开递归或闭递归，正如我们在 this question, but it's more specifically about this talk 上看到的那样，它在许多地方被引用。
里面我们可以看到这样的表达式：
(fun(x1:τ1)⇒e)⇓(fun(x1:τ1)⇒e)
我的问题是：⇓ 代表什么？
我环顾了这个互联网，没有发现任何特别之处，考虑到用谷歌搜索符号总是很乏味。
不确定它是否确实回答了您的问题，但是通过在线阅读各种 material 我认为 ⇓ 意味着 评估为 或 减少到.
对于表达式：
(fun(x1:τ1)⇒e)⇓(fun(x1:τ1)⇒e)
意思是，以τ1类型的x1作为参数的函数fun可以缩减为同一个函数。
SE 上的 this question 可能会对您有所帮助。