Соответствие списку Erlang

Работаю над книгой Thinking in Erlang. В "Рисунок 10: Пример случая" он имеет следующий пример:

many(X) ->
case X of
    [] ->
        none;
    [ _One ] ->
        one;
    [ _One, _Two ] ->
        two;
    [ _One, _Two , _Three | _Tail ] ->
        many
end.

Он говорит:

Если вам интересно, почему строка 9 не совпадает с [ _One, _Two | _Tail ], просмотрите правила сопоставления списков для хвостов списков в конце предыдущего раздела.

Но если я действительно совпадаю с [ _One, _Two | _Tail ] все работает как положено. В книге ошибка или я что-то не так понял?

5
задан nhahtdh 23 December 2012 в 10:58
поделиться