作为几乎是纯函数式编程语言的Erlang,我认为这是可能的:
case X of
foo(Z) -> ...
end.
其中foo(Z)
是一个可判定可逆的纯函数(无副作用),例如:
foo(input) -> output.
那么,在X = output
的情况下,Z
将匹配为input
。
在Erlang中是否可以使用这样的语义,无论是在我的示例中还是在其他语法之外?