Система типов Erlang
ОТВЕТ:
В «Шаге 2» вместо Edit Conflict мне пришлось выбрать опцию Resolve> Resolve Conflict.
Затем я смог зафиксировать изменения.
2 ответа
Больше информации о типе и спецификации приписывает здесь:
http://www.erlang.org/eeps/eep-0008.html
Dialyzer может использоваться для проверки их (см. dialyzer --help).
Печатающее устройство может использоваться для генерации их (см. typer --help).
Проверка типа времени компиляции не является сделанной вещью с Erlang. Вместо этого используйте Dialyzer, который выполняет проверку типа посткомпиляции.
Путь, которым Вы создаете 'пользовательские типы, при помощи теговых кортежей, как Вы предполагаете. Dialyzer исследует пути выполнения кода для идентификации, которые МОГЛИ БЫ закончить тем, что создали функциональные возвраты тот сбой.
Чтобы dialyzer работал лучше всего, необходимо обняться, 'позволяют, если сбой' и только пишет пункты, которые соответствуют ожидаемым результатам - 'еще' сторонятся конструкций, которые всегда соответствуют и несколько других лучших практик.
Необходимо зарегистрировать функции с edoc. dialyzer использует спецификацию типа системы документа для выведения типов для Вас. edoc руководство может быть найдено здесь.