参数值(不是类型)的多态性？

Question

是否存在编程语言(可能是概念或研究论文),它允许对函数/方法参数值进行多态化？的种类:

function factorial(int value > 0){ /* code here */}
function factorial(int value == 0){ /* code here */}
function factorial(int value < 0){ /* code here */}

而且,这种多态性的官方名称(如果有的话)是什么？

Answer 1

我想你要找的是模式匹配和/或警卫.例如Erlang允许这样:

foo(X) when X > 0  -> bar(X);
foo(X) when X == 0 -> baz(X);
foo(X)             -> X.

foo("bar", X) -> bar(X);
foo(42, X)    -> baz(X);
foo(_, X)     -> X.

前者说明了如何使用警卫的,后者是一个简单的模式匹配,其中第一个参数是要么"bar",42或其他任何东西.这两种技术都可以在许多函数语言中找到.

如果你不熟悉语法,那就相当于(尽可能多的比较):

function foo("bar", x) {
    return bar(x);
}
function foo(42, x) {
    return baz(x);
}
...