2

我是透析器的新手，我希望有人可以通过回答这个问题让我快速了解它的操作。

我认为下面的函数，给定一个数字 X 和一个非负整数 N，会产生一个数字。（X 的 N 次方。）

-spec pow(X :: number(), N :: non_neg_integer) -> number().
pow(X, N) ->
    pow(X, N, 1).
pow(_X, 0, R) ->
    R;
pow(X, N, R) ->
    pow(X*X,
        N bsr 1,
        if
            N band 1 =:= 0 ->
                R;
            true ->
                X*R
        end).

但是透析器不喜欢我的规格。它告诉我：

Invalid type specification for function t:pow/2.
The success typing is (_,integer()) -> any()

在我看来，它所暗示的规范过于包容。有人可以解释它为什么这样做，以及是否有任何方法可以让更严格的类型规范被接受？

4

1 回答 1

8

我相信这是因为你写了 non_neg_integer 而不是 non_neg_integer()。

于 2012-09-25T22:07:02.093 回答