Erlang型定義

Question

Erlangを初めて勉強し、型を定義して他の複合型のビルディングブロックとして使用できるようにする方法を見つけようとしています。単純型

-type macaddress():: <<_:48>>.

をdefniingするために使用することができます。しかし、srcとdstのMACアドレスを定義し、シンプルなMACアドレスを基本ビルディングブロックとして使用して構築したいとします。その後、我々は、私が前に定義された型なmacaddressであることがMACADDRESSを希望として

-type srcmacaddress(Macaddress):: [{Macaddress}]. -type dstmacaddress(Macaddress)::[{Macaddress}].

は大丈夫だろう、という方法を行います。

ご意見やご感想がありましたら教えてください。

Answer 1

あなたはこのタイプにあなたが使用するのと同じ方法を使用する組み込み型、複合型の定義の一部としてmacadress()を書く：あなたは本当に単一要素のタプル場所のリストが欲しい

が

-type srcmacaddress() :: [{macadress()}]. 

（と仮定すると、この単一の要素がmacadress()ある）

ダム使用例：。

-spec foo(macadress()) -> srcmacaddress(). 
foo(X) -> [{X}].