我一直在使用Dialyzer (和Dialyxir)在一个大的药方代码库,当我运行它时,它会释放出大量的诊断信息。它经常引用.plt
文件。"PLT“在Erlang和Dialyzer的语境中代表什么?
发布于 2020-04-30 05:41:05
在Dialyzer的上下文中,PLT代表Persistent Lookup Table (链接到文档)。该数据结构包含推断和用户注释(即“规范”)类型签名,在分析新文件时,Dialyzer被认为是已知的和正确的。
https://stackoverflow.com/questions/61513011
复制相似问题