types - Erlang 中的类型检查

Question

据我所知，-spec 在 Erlang 中仅用于透析器。

我如何在编译时检查类型(例如在函数中)(这是如何实现的，例如在 Haskell 中)？

Answer 1

简短的回答:你不能。

Erlang 是一种动态类型语言，运行时所依赖的许多假设都要求它是这样的，至少在某些地方是这样。过去曾讨论过关于创建语言的强类型子集或纯功能子集的讨论，但是除了透析器已经提供的功能之外，这两种方法都没有证明自己值得付出努力。

也就是说，dialyzer 是一个非常有用的工具，如果您构建代码以利用它。