替代模型斯卡拉

发布时间：2020-12-16 10:02:52 所属栏目：安全来源：网络整理

导读：我现在正在做斯卡拉课程.关于替代模型有一些讨论.它指出： def f(x1,...,xn) = B; ... f(v1,vn)thendef f(x1,xn) = B; ... [v1/x1,vn/xn]BHere,[v1/x1,vn/xn]B means:The expression B in which all occurrences of xi have been replacedby vi.[v1/x1,vn/xn

我现在正在做斯卡拉课程.关于替代模型有一些讨论.它指出：

def f(x1,...,xn) = B; ... f(v1,vn)
then
def f(x1,xn) = B; ... [v1/x1,vn/xn]B

Here,[v1/x1,vn/xn]B means:
The expression B in which all occurrences of xi have been replaced
by vi.
[v1/x1,vn/xn] is called a substitution

我这里有两个问题：

这里有什么大概念吗？对我来说,这只是说以一种奇特的方式插入价值观.
用于替换[v1 / x1,…,vn / xn]的符号是否在其他地方使用？

解决方法

你是对的,它本质上说是以一种奇特的方式“插入价值”.对它有一个正式和明确的符号仍然是一个好主意,事实上这是理论计算机科学的标准符号(而不是你的课程的讲师组成的东西).

特别是,“插入值”变得更加复杂,在这种情况下,您必须担心变量被绑定应该是自由的,反之亦然.如果您对细节感兴趣,请阅读一本介绍lambda演算的教科书.

（编辑：李大同）

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