首页 > 其他分享 >OCaml入门-值与函数

OCaml入门-值与函数

时间:2024-01-23 22:22:06浏览次数:29  
标签:函数 int 50 OCaml 作用域 let 2500 入门

Ocaml 使用 ;; 来确认一个表达式的结束

举例:

# 50 * 50;;
- : int = 2500

OCaml 告诉我们 50 * 50 的结果是 int

可以用 x 为常量 50*50 命名,注意这里 x 的值不可以被修改

# let x = 50 * 50;;
- : val x : int = 2500

使用 let ... in ... 来定义局部变量,在下面这个例子中,y = 50 的作用域为 y * yx = 50 * 50 的作用域为 x * x

let x =
  let y = 50 in
    y * y
  in x * x;;
- : int = 6250000

-------------------- 1/23更新 -------------------------

标签:函数,int,50,OCaml,作用域,let,2500,入门
From: https://www.cnblogs.com/sysss-blogs/p/17983375

相关文章

  • ORACLE translate函数
     1.语法  2.用途   (1)translate的返回值,是将expr(源字符串)参数中,所有对应在from_string(源字符串中想要被替换的字符)参数中所出现的字符,均按from_string参数中在to_string(想要源字符串中被替换的对应目标字符)参数中对应的字符替换掉后的值。expre源字符串中有......
  • 基础入门
    命令行参数funcmain(){fmt.Println(strings.Join(os.Args[1:],""))}os.Args变量是一个字符串(string)的切片(slice),os.Args的第一个元素:os.Args[0],是命令本身的名字;其它的元素则是程序启动时传给它的参数。类型和数据结构Go语言主要有四种类型的声明语句:var、const、ty......
  • 走出大模型部署新手村!小明这样用魔搭+函数计算
    作者:拓山前文介绍了魔搭ModelScope社区模型服务SwingDeploy服务。开发者可以将模型从魔搭社区的模型库一键部署至阿里云函数计算,当选择模型并部署时,系统会选择对应的机器配置。按需使用可以在根据工作负载动态的减少资源,节约机器使用成本。5分钟完成从开源模型至模型推理API服......
  • mysql patition by--分区函数
    分区函数patitionbygroupby是分组函数,partitionby是分区函数partitionby并没有groupby的汇总功能。partitionby统计的每一条记录都存在,而groupby将所有的记录汇总成一条记录(类似于distinctEmpDepartment去重)相同点:groupby后的聚合函数,partionby后的orderby......
  • vue-helper 点击跳转插件 在 methods里面互相调用函数,会产生两个函数definitions ,然后
    vue-helper点击跳转插件在methods里面互相调用函数,会产生两个函数definitions,然后就回弹出框让你选择原因:换了台电脑,又从新配置下vscode"editor.gotoLocation.multipleTypeDefinitions":"goto","editor.gotoLocation.multipleReferences":"goto","editor.got......
  • kettle从入门到精通 第三十三课 再谈 kettle 表输出 分区/分片
    1、之前第九章有讲过kettle表输出步骤,里面有简单的提到过表输出步骤里面的表分区设置,这里详细介绍下。 表分区数据:选择此选项可根据“分区”字段中指定的日期字段的值将数据拆分到多个表中。选择此选项后,数据将插入到表中,这些表的名称遵循<targettable>_<dateformat>模式,如t......
  • 软件自动化测试入门攻略
    软件测试自动化是什么?测试人员需要学习那些内容?学习后如何在项目中落地?零基础测试人员如何快速在企业落地自动化测试,为什么弯路这么多,究竟该如何破局?针对这些困扰许多测试工程师的问题,笔者基于对自动化测试的多年深耕、对软件测试自动化的丰富实战和持续研究,编著了软件自动化测试......
  • Python的sort自定义compare函数
    记住这个规律:1.无论是什么,都先左侧的大,ifx>y:固定写法。2.大的放右边就return1;如果想要大的放左边就return-1;这里记忆是【-1,1】坐标轴上,-1在左侧,1在右侧 #默认sort是左小-右大,的return1#要排序大的,就右侧大的return1defcompare(x,y):ifx>y:......
  • C++函数重载探究
    函数重载什么是函数重载简单来说,就是可以有多个相同函数名的函数,但是这些函数的参数个数 或者参数类型或者参数的类型顺序 是不一样的.通常来处理类似的功能,但是数据个数或者类型不同的情况如:计算器就是一个例子,加法可以是任何个数任何类型的数的加法但是都只......
  • 定向减免!函数计算让轻量 ETL 数据加工更简单,更省钱
    作者:澈尔、墨飏业内较为常见的高频短时ETL数据加工场景,即频率高时延短,一般均可归类为调用密集型场景。此场景有着高并发、海量调用的特性,往往会产生高额的计算费用,而业内推荐方案一般为攒批处理,业务实时性会有一定的影响。基于此痛点,函数计算FC推出定向减免方案,让ETL数据加......