elixir - 可能引发的函数的 typespec 声明是什么？

Question

使用 Elixir's typespecs , 我如何在 @spec 中记录一个函数可能会引发异常而不是返回一个值？

Answer 1

没有

曾经，no_return() ( listed in the Typespecs docs ) 用于各种地方来记录函数可能引发异常 - 例如， File.copy!/2 in Elixir 1.6 .

但这些用途已被德文埃斯蒂斯移除 in this PR ，并在批准它时，何塞·瓦利姆说:

Any function can fail any time in face of invalid input.

我认为这意味着“这个函数可能会引发错误”总是被假设并且不需要在类型规范中记录。