具有默認參數的Elixir類型規範

Question

如何爲接受的函數（比方說，具有默認值的一個參數）編寫類型規範？像下面這樣：

def foo(bar \\ 10) do 
    bar 
end 

難道是這樣的：

@spec foo(integer) :: integer 

還是那會是什麼？

謝謝。

Answer 1

是的。

我會補充說，如果你的問題是，如果函數的typespec與具有默認值的參數和不具有參數的函數的typepec之間存在差異，則不存在差異。