Erlang类型及函数声明规格
2013-08-20 22:59
176 查看
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
意义：
定义各种自定义数据类型
定义函数的参数及返回值
dialyzer 进行代码静态分析
edoc利用这些信息生成文档
参考：
http://erlang.group.iteye.com/group/wiki/2009-erlang_type_and_spec http://www.erlang.org/doc/reference_manual/typespec.html
内容来自用户分享和网络整理，不保证内容的准确性，如有侵权内容，可联系管理员处理 
相关文章推荐
- Erlang类型及函数声明规格/ erlang静态检查 dialyzer
- Erlang类型及函数声明规格
- Erlang类型及函数声明规格
- Erlang类型及函数声明规格
- 函数的类型，函数的声明，函数的定义，函数的调用，函数嵌套，函数递归，形参实参
- C++强制转换不同声明或类型的函数指针隐患
- 【C/C++学院】0825-类模板/final_override/类模板与普通类的派生类模板虚函数抽象模板类/类模板友元/位运算算法以及类声明/Rtti 实时类型检测/高级new创建/类以及函数包装器
- 不同存储类型的变量的声明、内部函数、外部函数
- 标C编程笔记day05 函数声明、文件读写、联合类型、枚举类型
- C++强制转换不同声明或类型的函数指针隐患
- 构造函数不能有返回类型 ，函数定义或声明中有错误；未调用函数
- PHP函数定义声明以及函数类型（回调函数，递归函数，重用函数。。）的介绍 变量的范围
- 快学Scala-变量声明、常用类型、条件与块表达式、循环、方法函数的调用
- 被调用函数内部的局部变量声明为static类型
- 为类型CMyString的声明，请为该类型添加赋值运算符函数
- [Erlang]类型声明及检查详解
- JavaScript的小小总结！变量类型、对象声明、this用法、原型、匿名函数、闭包和自执行函数
- c++ 父类成员函数的参数中有子类类型的对象 （前置声明解决）
- 12-8-9 函数声明时指针类型的省略
- Scala类型声明与定义、函数定义、流程控制、异常处理