PLT 代表什么？

Question

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

Answer 1

在 Dialyzer 的上下文中，PLT 代表 Persistent Lookup Table (link to docs)。它是包含推断和用户注释（即“spec-ed”）类型签名的数据结构，预计 Dialyzer 在分析新文件时会将其视为已知且正确。