相关疑难解决方法(0)

我慢慢爱上了Erlang,只有一个很大的问题.

我非常喜欢像Standart ML和ocaml这样的语言,他们强大的静态类型检查.

在erlang中引入一些静态类型检查是否有一种漂亮而干净的方法.我在看-type和-spec注释.

有人有一个很好的解决方案吗？