@spec
というコメント記載について以下を見つけた。
注意:これは古い書き方です。最新のErlangでは、この下に書いた-spec(~)に対応していますので、そちらが良いと思います。
...
一応コメント中の@spec
もドキュメント化されますが、-spec()を使う事でTypErによる実際の型チェックに役立てる事ができます。
あとで、「こちらの方がいいよ」というのが出てくるのが往々にしてある。その際にはこれまでの使用を天秤にかけて、新しい方法を取り入れるかどうかはよく考える必要がある。