首页 > 其他分享 >erlang -type 以及-spec 使用

erlang -type 以及-spec 使用

时间:2023-12-23 11:46:21浏览次数:41  
标签:www reference integer erlang type spec

很多时候我们编写的模块方法需要明确的参数类型,方便使用,-type 以及-spec 就提供了此能力

参考使用

  • app.erl
-module(app).
 
-export([myadd/1,mydemo/1]).
 
-type add() :: {integer(), integer()}.
 
-spec myadd(add()) -> integer().
 
myadd(Args) ->
    {A,B} = Args,
    A + B.
 
-spec mydemo(add()) -> integer().
mydemo({A,B}) ->
    A + B.
  • 使用

 

说明

此方法在不少erlang 项目中都可以看到,用好了很方便

参考资料

https://www.erlang.org/docs/26/reference_manual/typespec
https://www.erlang.org/docs/26/reference_manual/data_types
https://www.erlang.org/docs/26/reference_manual/typespec#specifications-for-functions

标签:www,reference,integer,erlang,type,spec
From: https://www.cnblogs.com/rongfengliang/p/17922825.html

相关文章

  • Spring的Bean后置处理器之AnnotationAwareAspectJAutoProxyCreator
    本文能帮你回答以下几个问题;AnnotationAwareAspectJAutoProxyCreator后置器的作用是什么?SpringAOP自动增强bean是如何实现的。如何在spring上下文添加AnnotationAwareAspectJAutoProxyCreator?如何利用ProxyFactory硬编码实现一个bean的增强?AnnotationAwareAspectJAutoProx......
  • typescript export 同名模块
    Title:AGuidetoImplementing"TypescriptExportSameNameModules"Introduction:Inthisguide,Iwillwalkyouthroughtheprocessofimplementing"Typescriptexportsamenamemodules"foranewcomerinthefield.Wewillstartbyu......
  • 2.7 Metallic与Speculer流程及相互转换
    一、PBR流程金属/粗糙度和高光反射/光泽度工作流程通用贴图:法线贴图(normalmap)AO贴图(ambientocclusionmap)高度贴图(heightmap)1.金属度/粗糙度工作流(常用)BaseColorRGB贴图-sRGBBaseColorRGB贴图-sRGB储存数据:非导体(电介质)的漫反射色/反照率颜色(DiffuseReflectedColor/Albedo)......
  • erlang.mk erlang 应用构建工具
    erlang.mkerlang应用构建工具,主要以来了make进行erlang应用的构建安装使用核心是一个依赖工具,如果安装了xcode,git以及make都是包含了的基础安装brewinstallerlanggitmake安装erlang.mkwgethttps://erlang.mk/erlang.mk或者......
  • 七、配置 OSPF 针对 Type-3 LSA 进行 过滤实验组网
    1、实验拓扑图2、实验目的全网配置部署运行ospf路由协议,在R2上过滤路由(192.168.1.1/32)3、核心配置<r2>displaycurrent-configuration [V200R003C00]#sysnamer2#snmp-agentlocal-engineid800007DB03000000000000snmp-agent #clocktimezoneChina-Standard-Timem......
  • rebar3 erlang 项目管理工具
    rebar3是erlang提供的构建,测试以及发布工具安装下载wgethttps://s3.amazonaws.com/rebar3/rebar3&&chmod+xrebar3安装./rebar3localinstall之后配置环境变量使用提供的命令asHigherorder......
  • Guava的TypeToken在泛型编程中的应用
    第1章:引言在Java世界里,泛型是个相当棒的概念,能让代码更加灵活和类型安全。但是,泛型也带来了一些挑战,特别是当涉及到类型擦除时。这就是TypeToken大显身手的时候!作为Java程序员的咱们,都知道泛型可以让代码更加通用,但同时也可能会导致一些类型信息在运行时丢失,这就是所谓的类型擦......
  • element-plus的type类型为daterange的时候限制时间选择
    对于ElementPlus的日期时间范围选择组件(el-date-picker的type设置为"daterange"),你可以使用:picker-options属性来设置选项,通过disabledDate函数来禁止选择当前时间之前的日期。下面是一个el-date-picker(type为"daterange")的示例,它禁止选择今天之前的日期:<el-date-......
  • IfcMemberTypeEnum
    IfcMemberTypeEnum类型定义此枚举定义IfcMember或IfcMemberType对象可以实现的不同类型的线性元素。  IFC2x2中的新枚举类型。IFC2x2添加了附加标识符CHORD、PLATE、STUD。IFC2x3添加了额外的标识符MULLION。 EnumerationdefinitionConstantDescriptionBRACEAl......
  • Java登陆第二十七天——多种方法Servlet映射、Content-Type
    正常的Servlet映射<!--1.servlet-name用于关联映射路径1.servlet-class告诉Tomcat要实例化Servlet类的全类名2.url-patternURL路径--><servlet><servlet-name>Test1</servlet-name><servlet-c......