Erlang模式与函数匹配

Question

由于Erlang是一种几乎纯粹的函数式编程语言,我想这是可能的:

case X of
    foo(Z) -> ...
end.

其中foo(Z)是可判定可逆的纯(无副作用)双射函数,例如:

foo(input) -> output.

然后,在这种情况下X = output,Z将匹配为input.

在Erlang中是否可以使用这种语义,有或没有其他语法,而不是我的例子？

Answer 1

不，Erlang 只支持文字模式！

而你最初的要求并不容易。仅仅因为存在逆元并不意味着它很容易找到。实际上，编译器必须创建两个版本的函数。