现在，我尝试使用dialyzer并使用 -spec ， type 。
。我将以下代码给透明剂，我希望透明师会注意到" Hoge(a( 1无效"，但透明师没有注意到。
-spec hoge (X) -> bad when X :: a;
(X) -> number() when X :: number().
hoge(X) when is_number(X) -> 1;
hoge(a) -> bad.
foo() ->
_ = hoge(a) + 1.
但是，在另一种环境中，
-spec hoge (X) -> bad when X :: a;
(X) -> string() when X :: number().
hoge(X) when is_number(X) -> "1";
hoge(a) -> bad.
foo() ->
_ = hoge(a) + 1.
透析告诉我这个错误，
test.erl:12: The call erlang:'+'('bad' | [49,...],1) will never return since it differs in the 1st argument from the success typing arguments: (number(),number())
为什么透明师在第一次设置中不会注意到类型。
-spec hoge (X) -> bad when X :: a;
(X) -> number() when X :: number().
此合同(规范(表示" Hoge是'A'a' ->'bad'| number(( -> number(("的" Hoge"，但是"(？
这是第一个示例的完整模块。
-module(example).
-export([hoge/1, foo/0]).
-spec hoge (X) -> bad when X :: a;
(X) -> number() when X :: number().
hoge(X) when is_number(X) -> 1;
hoge(a) -> bad.
foo() ->
_ = hoge(a) + 1.
"为什么透明师不抓住此错误"问题的标准答案始终是"永远是错误的"。透明师永远不会承诺找到所有错误。
在您的问题示例中，没有规格，透析的类型推理算法确实会为所有参数和所有返回值产生一个联合类型。使用规格，透明师仍然会侵入工会，但是应该使用该规范来缩小呼叫的返回值，然后产生错误。这看起来像是"敏感性降低"的情况(但本身不是错误(。无论如何，您都可以提交错误报告。
在您的工作示例中，任何可能的值都会导致结果不好，并且透析自身的推理也足够，即使没有规格。