Head Несовпадение в простой схеме аргумент сопоставления

Question

У меня есть этот код:

-module(info). 
-export([map_functions/0]). 
-author("me"). 



map_functions() -> 
    {Mod,_} = code:all_loaded(), 
    map_functions(Mod,#{}); 
map_functions([H|Tail],A) -> 
    B = H:mod_info(exports), 
    map_functions(Tail,A#{H => B}); 
map_functions([],A) -> A. 

Однако всякий раз, когда я скомпилировать его я получаю несоответствие головки по линии 10, которая является

map_funtions([H|Tail],A) -> 

Я уверен, что это это очень простая ошибка, но я просто не могу понять, почему это не работает. Это правильный синтаксис соответствия шаблону [H|Tail], а три функции с тем же именем, но разные атрибуты разделяются запятыми.

Answer 1

Ваше определение функции должно быть

map_functions() -> 
    {Mod,_} = code:all_loaded(), 
    map_functions(Mod, #{}). 

map_functions([], A)  -> A; 
map_functions([H|Tail], A) -> 
    B = H:mod_info(exports), 
    map_functions(Tail, A#{H => B}). 

Имя map_functions это то же самое, но арностью нет. В мире Эрланга это означает, что это две совершенно разные функции: map_functions/0 и map_functions/2.

Кроме того, обратите внимание, что я положил «базовый футляр» сначала в map_functions/2 (и вытащил возвращаемое значение первого предложения - нарушение этого на две строки более распространено, но что бы то ни было). Это по трем причинам: ясность, привычка сначала писать базовый случай (так что вы случайно не пишете бесконечные петли), и очень часто это необходимо сделать, чтобы вы случайно не замаскировали свой базовый случай сопоставляя каждый параметр в предложении с более высоким приоритетом.

Некоторые расширенное обсуждение на эту тему здесь (обращаясь к Elixir и Erlang): Specify arity using only or except when importing function on Elixir

Answer 2

Функция с таким же именем, но разными арностью различны, они отделены друг от друга точками.

код: all_loaded возвращает список, так что первая функция должна быть записана:

map_functions() -> 
    Mods = code:all_loaded(), 
    map_functions(Mods, #{}). 

Результирующий список Модификации представляет собой список кортежей вида {ModName, BeamLocation}, так что вторая функция должна быть записана :

map_functions([], A)  -> A; 
map_functions([{ModName,_}|Tail], A) -> 
    B = ModName:module_info(exports), 
    map_functions(Tail, A#{ModName => B}). 

Обратите внимание, что вы должны копать в библиотеки Erlang и попытаться использовать более идиоматическую форму коды, всей функции, используя список понимание, можно записать:

map_functions() -> 
    maps:from_list([{X,X:module_info(exports)} || {X,_} <- code:all_loaded()]).