Почему делает erlang:foo () компиляция?
Кажется, Telerik DataForm автоматически добавляет уникальный идентификатор записи, которая будет обновлена, к набору параметров.
Вероятно, более заметным здесь, потому что я выдумал команду «обновить», чтобы вставить вместо.
2 ответа
Erlang - это динамический язык. Однако хорошей практикой является выполнение проверки типов и статического анализа после компиляции .
Инструмент Dialyzer используется для проверки такого рода условий ошибки.
Причина компилятор не знает об этом во время компиляции, потому что функции можно искать и динамически загружать из пути кода во время выполнения (а также из удаленного узла). Dialyzer будет проверять код по пути кода во время его запуска.
Я думаю, что это вопрос реализации, поскольку разработчики Erlang решили связать во время выполнения, а не во время сборки. Частично причина может заключаться в управлении версиями и / или динамической загрузке кода.