Что означает ошибка компилятора "несоответствие головы"?

Я пытаюсь написать код для печати символа Z.

zzzzzzz
     z
    z
   z
  z
 z
zzzzzzz

Но когда я компилирую этот код, он бросает

D:\erlang\graphics>erlc zeez2.erl
d:/erlang/graphics/zeez2.erl:19: head mismatch
d:/erlang/graphics/zeez2.erl:6: function zeez/3 undefined

Я не могу исправить эту ошибку. Я не нашел, что неправильно в моих возможно.
Позволяет ли мне предложить мне.
Спасибо.

-module(zeez2).
-export([main/0]).

main() ->
    L = 8,
    zeez( false ,1, L). % line 6

zeez(true, M,M) ->
    init:stop();

zeez(false, M, N) ->
    io:format("~p~n", [zeez(z, N-M)] ),
    zeez(M rem N =:= 0, M + 1, N );

zeez(true, M, N) ->
    io:format("~p~n", [zeez(space, N-M)] ), % line 16
    zeez(M rem N =:= 0, M + 1 , N );

zeez(space, M) ->
    io:format("~p~n", ["-" ++ zeez(space, M-1)] );

zeez(space, 0) ->
    "Z";

zeez(z, M) ->
    io:format("~p~n", ["Z" ++ zeez(z, M-1)] );

zeez(z,0) ->
    "Z".

Ответ 1

проблема в том, что вы перепутали 2 функции:

zeez/2 и zeez/3

Если вы завершите функцию zeez/3, закончив ее полной остановкой, а не точкой с запятой, она должна скомпилироваться:

zeez(true, M, N) ->
    io:format("~p~n", [zeez(space, N-M)] ), % line 16
    zeez(M rem N =:= 0, M + 1 , N );                      <-- should end with .

Сообщение об ошибке означает: "Эй, я нахожусь в zeez/3, и вы добавили предложение 2-arity, wtf?"

Ответ 2

Вы пытаетесь определить две функции, первая с тремя параметрами (zeez/3) и другая с двумя параметрами (zeez/2). Ошибка рассогласования головы связана с тем, что функция zeez/3 на предыдущей строке должна быть завершена с помощью..

т.е. потому что вы закончили предыдущую функцию zeez/3 с помощью символа ';', он ожидает, что следующее объявление будет другим совпадением для zeez/3:

zeez(true, M, N) ->
    io:format("~p~n", [zeez(space, N-M)] ), % line 16
    zeez(M rem N =:= 0, M + 1 , N ).

zeez(space, M) ->
    io:format("~p~n", ["-" ++ zeez(space, M-1)] );

Вы также должны заметить, что компилятор даст вам предупреждения о том, что "... предыдущее предложение в строке xxx всегда совпадает" из-за упорядочения zees (пробел, 0) и zeez (пробел, M). Вы должны положить zees (пробел, 0) до zeez (пробел, M), потому что это более конкретно.