Как работает оператор сравнения Erlang?

Question

Извините за такой базовый вопрос, но я не могу понять это: если я использую обычные операторы сравнения реляций с терминами - как это работает?

Например:

"AAA" > "aaa" => false - Почему "AAA" меньше "aaa"?

Если у меня есть два атома:

atom1 < atom2 => true - почему atom1 меньше atom2?

Как и когда я использую операторы сравнения с атомами?

Answer 1

1. A имеет код ASCII 65, a имеет код ASCII 97, таким образом "A" < "a".
2. Процитировать изобретателя: «Фактический порядок не важен, но важно то, что общий порядок очень важен». Это связано с тем, что вы хотите, чтобы все условия были сопоставимы, поскольку только в этом случае вы можете сортировать их (что часто используется).

Точные правила приведены в http://www.erlang.org/doc/reference_manual/expressions.html#id77480:

7.11 Срочные Сравнения

Следующий порядок определяется:

номер < атом < ссылка < весело < порт < PID < tuple < Список < bit-string

Списки сравниваются по элементам. Кортежи упорядочены по размеру, два кортежа с одинаковым размером сравниваются по элементам.