Erlang类型及函数声明规格

最新推荐文章于 2022-12-04 20:53:57 发布
最新推荐文章于 2022-12-04 20:53:57 发布
阅读量2k 收藏
点赞数
分类专栏： erlang开发
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/gavinr/article/details/10126883
版权

    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

gavinr
关注
专栏目录
pfun:Erlang 可移植函数
05-29
乐趣提供跨多个节点的可移植功能对象和代码加载的库__可移植函数__的缩写概述目标是解决常规 Erlang 函数对象的以下问题：无法跨多个代码加载生存如果一个函数对象所属的模块被更新两次，持有该对象的进程就会崩溃以...
erlang中参数或返回值到底使用{ }还是[ ]
sdjcw的小结
11-18 728
写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()
【Erlang】八、模块 & 函数 & 原子在函数参数中的作用
Coco的博客
08-13 572
文章目录模块1. 概念2. 定义函数1. 概念2. 定义3. 案例解释案例1：求矩形面积案例2：求矩形周长函数的导出1. 概念2. 定义3. 案例：一个完整的矩形模块编译1. 概念2. 怎么编译模块的调用相同函数名，不同参数（重载）1. 定义2. 调用 模块 1. 概念 在这之前我们执行所有命令都是在 erlang shell 中运行的，每次只运行了一行代码，但是假如我们想一次运行多行代码怎么办呢？这里就用到了模块 模块的本质就是我们把一个事物所有相关的方法或定义，都写在一个以 .erl 结尾文本中，
Erlang的函数定义fun
无知的程序员
03-27 397
在Eralng中，同一个模块中的两个函数，如果她们同名但是它们的目（arity）不同，这样的两个函数被认为是完全不同的两个函数。通常情况下，这样的函数被用作辅助函数。 关于函数的定义有2种： 第一种：定义匿名函数，这种函数没有名字，一般作为参数赋予一个变量。 Square = fun(X) -> X*X end.
bear:一组用于erlang的统计函数
05-04
bear：一组用于erlang的统计函数目前，bear专注于在Folsom Erlang指标库内部使用，但是所有这些功能在其他情况下都是通用且有用的。 拉取请求已接受！根据Apache 2.0许可提供
ecg:Erlang函数调用图生成器
04-27
ECG是E rlang函数C的所有图G enerator，其自动绘制函数调用和处理程序派生。 ECG利用Erlang强大的跟踪机制和可视化工具graphviz ，确保已安装graphviz ，并且由于此处使用Python绑定，因此还需要安装Digraph软件包。...
数据：Erlang的纯函数式和泛型编程
02-05
- **类型系统**：虽然 Erlang 是动态类型的，但其类型系统允许静态检查，确保函数的参数和返回值符合预期。这增强了代码的健壮性。 ### 3. 阶阵（Monads） Monads 是一种控制流构造，起源于数学中的范畴论，被广泛...
rabbitmq3.7.25及对应版本erlang
最新发布
12-29
rabbitmq3.7.25及对应版本erlang源码包 linux离线安装 安装教程: linux 离线安装rabbitMQ和Erlang https://blog.csdn.net/qq_31366199/article/details/135296148?spm=1001.2014.3001.5502
【Erlang】二、模块与函数
Zhuang_lu_ren的博客
12-04 549
模块与函数
Erlang io:format() 函数常用参数
潘广宇的博客
04-11 3852
一、常用参数 ~n ：输出一个换行符（自动匹配平台标准） ~p ：参数打印成为美观 ~s ： 输出一个字符串，I/O列表或原子，打印时不带引号 ~w ：用标准语法输出erlang的数据类型 ~f ：输出浮点数，~.kf输出保留k位小数的浮点数 二、格式型 io:format(~F.P.PadModC) 类型，如 io:format("|~-10.10.+s|", ["abc"]). ...
Erlang函数与模式匹配
cloveses的专栏
10-12 1458
Erlang 是一种函数式编程语言，函数是其编程的基本单位，并且可以使用变量进行传递。本节介绍Erlang函数的定义方法和模式匹配在函数中的录用：     一、单子句函数（函数体只包含单表达式）     下面是一个基本的函数定义形式： play(X) -> X.    该函数定义包括三个部分：    1.函数头：由函数名和被括号括起来的模式构成。函数名是一个原子，模式也可以理解为函
erlang精要(18)-以函数作为参数的函数,返回函数的函数(1)
The research on computer technolog
02-19 275
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:now()返回值的理解
枯树无花
10-25 715
erlang:now() -&gt; timestamp() timestamp() = {MegaSecs, Secs, MicroSecs} MegaSecs = Secs = MicroSecs = integer() &gt;= 0 MegaSecs兆秒，1兆=1024K,1K=1024 兆秒=1024秒x1024/86400(一天的总秒数)=12.13 天 Secs秒 Micr...
erlang 函数作为参数
simply the best
10-29 1687
-module(test). -compile(export_all). test() -> List = testcore(1,[]), lists:foldl(fun fn_sum/2,0,List). fn_sum(Element, PreSum) -> Element+PreSum. testcore(10, List) -> List; testcore(Value, Li
Erlang中的fun函数使用详解
sunjiangangok的博客
04-10 4886
先看一个Erlang的规定：在Eralng中，同一个模块中的两个函数，如果她们同名但是它们的目（arity）不同，这样的两个函数被认为是完全不同的两个函数。通常情况下，这样的函数被用作辅助函数。   fun函数就是一个匿名函数（因为他自己没有名字），但就这个匿名函数，用处却是很大的。fun既可以作为函数的参数，也可以作为函数（或者自己本身fun）的返回结果。   现在，我们再来看一下fun函数的简
erlang函数说明及使用范例
红尘一傻帽的专栏
03-26 562
http://dhq.me/erlample/
Erlang语言参考手册：数据类型与函数解析
1.5.1 函数声明语法：描述了如何定义和声明Erlang函数。 1.5.2 函数求值：说明了函数调用的执行过程。 1.5.3 尾递归：优化技术，使递归函数不会增加堆栈深度。 1.5.4 内置函数（BIFs）：Erlang提供的内建函数，通常...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值