erlang - PLT 代表什么？

Question

我一直在大型 Elixir 代码库上使用 Dialyzer（和 Dialyxir），当我运行它时，它会吐出一堆诊断信息。它引用.plt了很多文件。在 Erlang 和 Dialyzer 的上下文中，“PLT”代表什么？

Answer 1

在 Dialyzer 的上下文中，PLT 代表Persistent Lookup Table（链接到文档）。它是包含推断和用户注释（即“规范”）类型签名的数据结构，预计 Dialyzer 在分析新文件时将其视为已知和正确的。