PLT 代表什么？

Question

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

Answer 1

在 Dialyzer 的上下文中，PLT 代表持久查找表（链接到文档）。它是包含推断的和用户注释的（即“指定的”）类型签名的数据结构，在分析新文件时，Dialyzer 应将其视为已知且正确的。