Erlang类型及函数声明规格

最新推荐文章于 2022-12-04 20:53:57 发布
最新推荐文章于 2022-12-04 20:53:57 发布
阅读量1.9k 收藏
点赞数
分类专栏： 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
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
erlang精要(18)-以函数作为参数的函数,返回函数的函数(1)
The research on computer technolog
02-19 255
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中的类型表示（-spec,-type）
qq_37744360的博客
04-30 2356
文章目录前言-spec 类型规范-type 类型定义类型的注解比类型注解更好的办法 前言 看《erlang程序设计》，第一次接触第九章类型几乎什么都没看懂，简单就掠过去了，后来回锅炒以及看了一些内置模块的源码，来有所悟。下面就是我对类型表示的一些理解。 直接上代码（《erlang程序设计》原书代码片段）： -module(walks). -export([plan_route/2]). -sp...
Erlang io:format() 函数常用参数
潘广宇的博客
04-11 3736
一、常用参数 ~n ：输出一个换行符（自动匹配平台标准） ~p ：参数打印成为美观 ~s ： 输出一个字符串，I/O列表或原子，打印时不带引号 ~w ：用标准语法输出erlang的数据类型 ~f ：输出浮点数，~.kf输出保留k位小数的浮点数 二、格式型 io:format(~F.P.PadModC) 类型，如 io:format("|~-10.10.+s|", ["abc"]). ...
pfun:Erlang 可移植函数
05-29
乐趣提供跨多个节点的可移植功能对象和代码加载的库__可移植函数__的缩写概述目标是解决常规 Erlang 函数对象的以下问题：无法跨多个代码加载生存如果一个函数对象所属的模块被更新两次，持有该对象的进程就会崩溃以...
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函数说明及使用范例
红尘一傻帽的专栏
03-26 538
http://dhq.me/erlample/
Erlang：条件判断3种方法，函数参数模式匹配、case模式匹配、if
kanguolaikanguolaik的专栏
08-25 3291
一、代码 1.1 3种条件判断方法         1. 通过函数参数模式匹配，来判断应该执行哪个函数。         2. 通过case模式匹配，来判断应该执行哪些语句。         3. 通过if，来判断应该执行哪些语句。 1.2 代码 -module(test). -export([listlen/1]). %1. 通过函数参数模式匹配，来判断应该执行哪个函数 %li
Erlang-- 学习笔记2，表达式格式
dreamzml的专栏
05-31 2450
备注：Erlang-- 学习笔计，知识要点来自于维基百科，一些不容易懂的地方，我给出重新解释，方便自己理解和记忆，如果有错误，请大家不吝指教。 变量： 变量是一种提供与数据绑定、赋值的词汇。Erlang的变量是单一赋值，一个变量只能赋值一次 以大写英文字符开头的任意连续文字，是具名变量 以 _ 开头的任意连续文字，是匿名变量，用于变量必须使用、但相对的值可以忽略的场合Number
Erlang的函数定义fun
无知的程序员
03-27 370
在Eralng中，同一个模块中的两个函数，如果她们同名但是它们的目（arity）不同，这样的两个函数被认为是完全不同的两个函数。通常情况下，这样的函数被用作辅助函数。 关于函数的定义有2种： 第一种：定义匿名函数，这种函数没有名字，一般作为参数赋予一个变量。 Square = fun(X) -> X*X end.
Erlang函数与模式匹配
cloveses的专栏
10-12 1430
Erlang 是一种函数式编程语言，函数是其编程的基本单位，并且可以使用变量进行传递。本节介绍Erlang函数的定义方法和模式匹配在函数中的录用：     一、单子句函数（函数体只包含单表达式）     下面是一个基本的函数定义形式： play(X) -> X.    该函数定义包括三个部分：    1.函数头：由函数名和被括号括起来的模式构成。函数名是一个原子，模式也可以理解为函
<20>erlang中的类型和函数说明
小馬life的专栏
09-15 267
erlang是一种动态类型的语言(运行时才决定数据类型)，可以自己声明一些数据类型 (1) 预定义类型 首先erlang自己有一套预定义的数据类型， 也可以有用户自己定义的类型，自己定义的类型都来源于这些预定义的类型的组合及类型定义的语法, 预定义类型： Type :: any() %% The top type, the set of all Erlang te...
【Erlang】二、模块与函数
Zhuang_lu_ren的博客
12-04 277
模块与函数
erlang中参数或返回值到底使用{ }还是[ ]
sdjcw的小结
11-18 677
写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函数编程：从入门到精通
《Erlang入门：函数式编程实战指南》第二版是由Simon St. Laurent所著，由O'Reilly Media出版社于2017年出版。本书针对初学者，旨在帮助读者逐步掌握这个功能强大的语言，尽管其初始学习曲线可能较陡峭，但它能展示...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值