gpt4 book ai didi

programming-languages - erlang 中的静态类型检查

转载 作者:行者123 更新时间:2023-12-04 09:20:09 28 4
gpt4 key购买 nike

我慢慢地爱上了 Erlang,并且只有一个非常大的问题。

我是 Standart ML 和 ocaml 等具有强大静态类型检查功能的语言的忠实粉丝。

有没有一种漂亮而干净的方法可以在 erlang 中引入某种静态类型检查。我在看 -type-spec注释。

有没有人有一个很好的解决方案?

最佳答案

我去过那儿!我喜欢 OCaml 和 Erlang 并且经常使用它们。

当我开始使用 Erlang 时,我已经拥有多年的 OCaml 经验。我花了几个星期来适应编译器中没有静态类型检查器的事实。但在那之后,疼痛完全消失了。

在某种程度上,不使用类型检查器是一项值得的练习。对我来说,这是一次启发性的经历,确实让我成为了一个更好的程序员。

然而,有一个用于 Erlang 的外部静态类型检查器,名为 Dializer .我觉得它非常有用。它的问题是你需要单独调用它,而且速度很慢。偶尔运行一次(例如在提交代码之前或作为自动构建的一部分)效果很好。我从来没有尝试过在每次编译后运行它,因为等待它完成会让人分心。

关于programming-languages - erlang 中的静态类型检查,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/8506556/

28 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com