本文介绍了Erlang中如何使用Dialyzer进行类型检查。讲解了预定义数据类型如non_neg_integer(), pos_integer(), neg_integer()，以及自定义类型和不透明类型（opaque）的创建。强调了在编写代码时先定义类型的重要性，并指出避免使用-compile(export_all)。还提到了Dialyzer的特点，如详细声明函数参数类型，避免使用匿名变量作为参数，以及首次运行时需要为标准库类型建立缓存。最后，通过示例说明了Dialyzer如何检测函数返回值和参数类型错误，以及如何添加约束条件进行更精确的类型限定。"
119600426,7795838,Maven连接CDH仓库指南,"['大数据开发', 'Hadoop', 'Maven配置', 'Cloudera', '仓库管理']
定义新的数据类型并给代码添加类型注解。
预定义数据类型
non_neg_integer() 非负的整数
pos_integer()是 一个正整数
neg_integer()是一个负整数
自定义类型
%% 格式
T1 :: A | B | C ...
%% 定义了一共int类型 表示整数
-type int() :: 0,1,-1,2,-2 ......
%% 类似枚举的用法
-type outType :: "DuiZhi","ShunZhi"...内部定义类型
-spec file:open(FileName,Modes) -> {ok,Handle} | {
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
最低0.47元/天 解锁文章
238
