Mar*_*sen 7 erlang programming-languages typechecking
我慢慢爱上了Erlang,只有一个很大的问题.
我非常喜欢像Standart ML和ocaml这样的语言,他们强大的静态类型检查.
在erlang中引入一些静态类型检查是否有一种漂亮而干净的方法.我在看-type和-spec注释.
-type
-spec
有人有一个很好的解决方案吗？
ala*_*rik 12
我去过那儿!我喜欢OCaml和Erlang并定期使用它们.
当我开始使用Erlang时,我有多年的OCaml经验.我花了几个星期来调整编译器中没有静态类型检查器的事实.但在那之后,疼痛彻底消失了.
在某种程度上,没有类型检查器是一个值得做的练习.对我来说,这是一种启发性的经验,真的让我成为一名更好的程序员.
但是,Erlang的外部静态类型检查器叫做Dializer.我发现它非常有用.它的问题是你需要单独调用它,它很慢.偶尔运行它(例如在提交代码之前或作为部分自动构建之前)运行良好.我从来没有尝试过在每次编译后都运行它,因为等到它完成它会太过分散注意力.
归档时间：
14 年，4 月 前
查看次数：
1700 次
最近记录：
12 年，3 月 前