Scala语言规范中“替换”一词的定义是什么？

发布时间：2020-12-16 18:33:56 所属栏目：安全来源：网络整理

导读：在 Scala语言规范(版本2.9 – 2014年6月11日)中,在关于存在类型的部分中使用了术语“替换”,但是,替换的含义似乎没有在Scala语言规范中定义. 有人可以解释替代在这种情况下的含义吗？是否意味着类型表达式中的类型变量被其他具体类型或类型变量或类型构造函

在 Scala语言规范(版本2.9 – 2014年6月11日)中,在关于存在类型的部分中使用了术语“替换”,但是,替换的含义似乎没有在Scala语言规范中定义.

有人可以解释替代在这种情况下的含义吗？

是否意味着类型表达式中的类型变量被其他具体类型或类型变量或类型构造函数替换？

如果替换是具体类型,那么具体类型是什么？那些作为简单名称的范围？

在这种情况下,“替代”概念的有意义定义是什么？

什么被什么取代？

它指的是lambda演算的替代概念.从实际的角度来看,它是有界的自由变量的替代.有关更正式的定义,您可以查看lambda演算的理论.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!