アーランのタイパーは、私が<em>タイパー</em>を模索していた文字列

Question

のための奇妙な種類を推定し、そしてそれを何もしません機能与えた：

const_str（） - >「QWEを」。男のタイプは次のように推定される

：

-spec const_str（） - > [101 | 113 | 119、...]

、すなわち "EQW"（ハァッ！？）、この '...' 事業が続きます。

定数の文字列が混乱しているように見えます。タイバー;私はこのようなものを使うべきではないことを理解しています。その目的のために原子があります。私はタイバー（とErlangのタイプのオプション）の周りに私の頭をラップしようとしているので、私はこれが驚くべき興味深いと思った。誰でもここで何が起こっているのか説明できますか？ ありがとう！

Answer 1

1. Erlangの文字列は、文字のASCIIコード（つまり、"qwe" = [$q,$w,$e] = [113,119,101]）に対応する整数のリストです。
2. タイプ言語は、リストの要素の順序を表現することはできません（そうすることを目的としていません）。
3. あなたが持っているタイプは、「101番、113番、119番の空ではない空のリスト」です。