Erlang类型及函数声明规格

最新推荐文章于 2025-07-17 15:57:23 发布
原创 最新推荐文章于 2025-07-17 15:57:23 发布 · 2k 阅读 · 0 ·
CC 4.0 BY-SA版权
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文介绍Erlang中如何使用type和spec定义数据类型和函数原型来增强代码的可读性和可维护性，并利用这些信息进行代码静态检测、文档生成等。

    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

深入详解高性能消息队列中间件 RabbitMQ
dvlinker的技术专栏
11-06 1万+
深入详解高性能消息队列中间件 RabbitMQ
erlang中的类型表示（-spec,-type）
qq_37744360的博客
04-30 2783
文章目录前言-spec 类型规范-type 类型定义类型的注解比类型注解更好的办法 前言 看《erlang程序设计》，第一次接触第九章类型几乎什么都没看懂，简单就掠过去了，后来回锅炒以及看了一些内置模块的源码，来有所悟。下面就是我对类型表示的一些理解。 直接上代码（《erlang程序设计》原书代码片段）： -module(walks). -export([plan_route/2]). -sp...
erlang精要(18)-以函数作为参数的函数,返回函数的函数(1)
The research on computer technolog
02-19 393
1> Is_odd =fun(X) -> (X rem 2) =:= 1 end. #Fun<erl_eval.44.79398840> 2> Y=[1,2,3,4,5,6,7,8,9]. [1,2,3,4,5,6,7,8,9] 5> lists:map(Is_odd,Y). [true,false,true,false,true,false,true,false,true] 6> lists:filter(Is_odd,Y). [1,3,5,7,9] Is_od
Erlang io:format() 函数常用参数
潘广宇的博客
04-11 4180
一、常用参数 ~n ：输出一个换行符（自动匹配平台标准） ~p ：参数打印成为美观 ~s ： 输出一个字符串，I/O列表或原子，打印时不带引号 ~w ：用标准语法输出erlang的数据类型 ~f ：输出浮点数，~.kf输出保留k位小数的浮点数 二、格式型 io:format(~F.P.PadModC) 类型，如 io:format("|~-10.10.+s|", ["abc"]). ...
[Erlang]类型声明及检查详解
Sunface撩技术
06-17 5312
随着项目越来越大，项目的规范性也是越来越重要，因此类型声明、检查及dialyzer的使用变得尤为重要  ——Sunface转载自http://erlangdisplay.iteye.com/blog/404570Erlang类型及函数声明规格Contents概述意义规范类型及其定义语法自定义类型定义在record中使用类型声明函数规范定义使用dialyzer进行静态分析生成plt使用dialyze
28、探索 Erlang：从类型标注到开发环境搭建与资源整合
最新发布
alice7model的博客
07-17 66
本文深入探讨了Erlang编程语言的类型系统、开发环境搭建及相关工具的使用。从类型标注的基础知识到函数规格说明的灵活应用，介绍了EDoc和Dialyzer等提高代码质量的重要工具。同时，详细讲解了在Windows平台上安装Erlang、MinGW、MSYS及Emacs的步骤，并提供了丰富的Erlang学习资源和社区支持。通过本文，开发者可以全面了解Erlang在多核和分布式计算环境中的优势，并为进一步学习和实践提供指导。
Inaka Erlang编码准则：最佳实践与规范
在**类型系统与函数规格**方面，强烈建议为所有导出函数编写-spec，这不仅是对API的文档化，也为 Dialyzer 等静态分析工具提供依据，帮助发现潜在类型错误。“在behaviour_info/1上使用-callback属性”是现代Erlang...
erlang函数说明及使用范例
红尘一傻帽的专栏
03-26 611
http://dhq.me/erlample/
Erlang：条件判断3种方法，函数参数模式匹配、case模式匹配、if
kanguolaikanguolaik的专栏
08-25 3422
一、代码 1.1 3种条件判断方法         1. 通过函数参数模式匹配，来判断应该执行哪个函数。         2. 通过case模式匹配，来判断应该执行哪些语句。         3. 通过if，来判断应该执行哪些语句。 1.2 代码 -module(test). -export([listlen/1]). %1. 通过函数参数模式匹配，来判断应该执行哪个函数 %li
Erlang-- 学习笔记2，表达式格式
dreamzml的专栏
05-31 2550
备注：Erlang-- 学习笔计，知识要点来自于维基百科，一些不容易懂的地方，我给出重新解释，方便自己理解和记忆，如果有错误，请大家不吝指教。 变量： 变量是一种提供与数据绑定、赋值的词汇。Erlang的变量是单一赋值，一个变量只能赋值一次 以大写英文字符开头的任意连续文字，是具名变量 以 _ 开头的任意连续文字，是匿名变量，用于变量必须使用、但相对的值可以忽略的场合Number
Erlang的函数定义fun
无知的程序员
03-27 449
在Eralng中，同一个模块中的两个函数，如果她们同名但是它们的目（arity）不同，这样的两个函数被认为是完全不同的两个函数。通常情况下，这样的函数被用作辅助函数。 关于函数的定义有2种： 第一种：定义匿名函数，这种函数没有名字，一般作为参数赋予一个变量。 Square = fun(X) -> X*X end.
Erlang函数与模式匹配
cloveses的专栏
10-12 1546
Erlang 是一种函数式编程语言，函数是其编程的基本单位，并且可以使用变量进行传递。本节介绍Erlang函数的定义方法和模式匹配在函数中的录用：     一、单子句函数（函数体只包含单表达式）     下面是一个基本的函数定义形式： play(X) -> X.    该函数定义包括三个部分：    1.函数头：由函数名和被括号括起来的模式构成。函数名是一个原子，模式也可以理解为函
<20>erlang中的类型和函数说明
小馬life的专栏
09-15 330
erlang是一种动态类型的语言(运行时才决定数据类型)，可以自己声明一些数据类型 (1) 预定义类型 首先erlang自己有一套预定义的数据类型， 也可以有用户自己定义的类型，自己定义的类型都来源于这些预定义的类型的组合及类型定义的语法, 预定义类型： Type :: any() %% The top type, the set of all Erlang te...
【Erlang】二、模块与函数
Zhuang_lu_ren的博客
12-04 673
模块与函数
【Erlang】八、模块 & 函数 & 原子在函数参数中的作用
Coco的博客
08-13 660
文章目录模块1. 概念2. 定义函数1. 概念2. 定义3. 案例解释案例1：求矩形面积案例2：求矩形周长函数的导出1. 概念2. 定义3. 案例：一个完整的矩形模块编译1. 概念2. 怎么编译模块的调用相同函数名，不同参数（重载）1. 定义2. 调用 模块 1. 概念 在这之前我们执行所有命令都是在 erlang shell 中运行的，每次只运行了一行代码，但是假如我们想一次运行多行代码怎么办呢？这里就用到了模块 模块的本质就是我们把一个事物所有相关的方法或定义，都写在一个以 .erl 结尾文本中，
erlang中参数或返回值到底使用{ }还是[ ]
sdjcw的小结
11-18 769
写erlang代码时，参数或者返回值到底是用{ }元组，还是[ ]列表，还是不能随便用，总结了几点： [*]当数据需要进行 [b][H|T][/b] 处理的时候，使用[ ]列表，这是使用列表最重要的依据；其次就是这一些数据的类型是一致的。 [*]如果参数一个[b]结构化[/b]的数据，则使用{ }元组，这些数据共同表达了一个数据结构，但是数据之间又没有直接的联系，比如： [code="erl...
erlang lists 系列函数功能与用法详解（共68个函数）
热门推荐
bestpool的专栏
03-21 3万+
一，带函数Pred 1, all(Pred, List) -> boolean() 如果List中的每个元素作为Pred函数的参数执行，结果都返回true，那么all函数返回true， 否则返回false 例子： lists:all(fun(E) -> true end,[1,2,3,4]). 结果 true 2, any(Pred, List) -> boolean()
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值