Я использую Dialyzer (и Dialyxir) на большой базе кода Elixir, и когда я запускаю его, он выдает кучу диагностической c информации. Он ссылается на .plt файлы много. Что означает «PLT» в контексте Erlang и Dialyzer?
.plt
В контексте Dialyzer, PLT означает Таблица постоянного поиска ( ссылка на документы ). Это структура данных, которая содержит выведенные и аннотированные пользователем (т. Е. «Spe c -ed») сигнатуры типа, которые, как ожидается, Dialyzer будет рассматривать как известные и правильные при анализе новых файлов.