Erlang类型及函数声明规格

    Erlang为动态语言,变量在运行时动态绑定,这对于我们获取函数的参数及返回值的类型信息具有一定的难度。 为了弥补这个不足,在Erlang中我们可以通过type及spec定义数据类型及函数原型。通过这些信息,我们对函数及调用进行静态检测, 从而发现一些代码中问题。同时,这些信息也便于他人了解函数接口,也可以用来生成文档。
    
意义:
    定义各种自定义数据类型
    定义函数的参数及返回值
    dialyzer 进行代码静态分析
    edoc利用这些信息生成文档

参考:
http://erlang.group.iteye.com/group/wiki/2009-erlang_type_and_spec
http://www.erlang.org/doc/reference_manual/typespec.html

你可能感兴趣的:(erlang开发)