エリクサーで論理的に暗黙のガード句を省略する必要がありますか？

Question

数字を入力として受け取ることが保証されている関数が与えられている場合、論理的に暗黙のガード句を含めるべきですか、またはそれらを省略する必要がありますか？

def check(x) when x < 5, do: :ok 
def check(x) when x >= 5, do: :error 

#or 

def check(x) when x < 5, do: :ok 
def check(x), do: :error 

Answer 1

入力が保証されているかどうかにかかわらず、第2のガードは冗長です。非整数入力では認識されにくいエラーメッセージが表示されます。代わりに：私はOPは彼が決して確かであれば何の句は無効な入力（OPの最初のコード）でエラーと一致しない方が良いだろうと思う

def check(x) when not is_integer(x) and not is_float(x), do: :type_error 
def check(x) when x < 5, do: :ok 
def check(x), do: :value_error # here x is guaranteed to be numeric ge 5