PLT 代表什么？

Question

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

Answer 1

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