Erlang中非终止函数的类型

Question

我正在学习Erlang，并尝试在可能的情况下使用Dialyzer来获得最大的类型安全性。有一件事我不明白：非终止函数的类型是什么，以及如何在-spec中表示它。有人能解释一下吗？

Answer 1

一个永远循环且从不终止的函数的返回类型为no_return()。（该返回类型也用于总是抛出异常的函数，例如自定义错误函数。如果您没有指定该返回类型，Dialyzer会告诉您该函数"没有本地返回"。）

这在Erlang参考手册的类型和功能规范一章中有提及：

Erlang中的一些函数是不返回的；要么是因为它们定义了服务器，要么是因为用于抛出异常，如以下函数所示：

my_error(Err) -> erlang:throw({error, Err}).

对于这样的功能，建议使用特殊的no_return()类型用于它们的"；返回"；，通过以下形式的合同：

-spec my_error(term()) -> no_return().

Answer 2

以下示例在Elixir中，但我相信它们也为Erlangers明确了类型规范中no_return和none的使用：

 defmodule TypeSpecExamples do
   @moduledoc """
   Examples of typespecs using no_return and none.
   """
   @spec forever :: no_return
   def forever do
     forever()
   end
   @spec only_for_side_effects :: no_return
   def only_for_side_effects do
     IO.puts "only_for_side_effects"
     :useless_return_value # delete this line to return the value of the previous line
   end
   @spec print_dont_care :: no_return
   def print_dont_care do
     IO.puts("""
       A no_return function that does not loop always returns a value, 
       which can be anything, such as the atom #{only_for_side_effects()}
       """)
   end
   @spec always_crash :: none
   def always_crash do
     raise "boom!"
   end
   @spec value_or_crash(boolean) :: number | none
   def value_or_crash(b) do
     if b do
       1
     else
       raise "boom!"
     end
   end
 end