erlang - タイプ [string()] は空のリストをカバーしていますか?

Question

文字列のリストになるが空のリストになる可能性のある型を定義する場合、次のように両方のケースを定義する必要がありますか?

-type my_type() :: [string()] | [].

またはこれで十分ですか：

-type my_type() :: [string()].

Answer 1

はい、空のリストが含まれているため、空のリストを含めたい場合は[string()]使用しても問題ありません。-type my_type() :: [string()].

リストは一般的に使用されるため、省略形の型表記があります。タイプlist(T)およびnonempty_list(T)には、それぞれ短縮形[T]および[T,...]があります。2 つの短縮形の唯一の違いは[T]、空のリストを指定できますが、指定[T,...]できないことです。

ソース