没有合适的资源?快使用搜索试试~
我知道了~
文库首页
课程资源
讲义
函数式编程语言编程和程序验证PPT学习教案.pptx
函数式编程语言编程和程序验证PPT学习教案.pptx
1.该资源内容由用户上传,如若侵权请联系客服进行举报
2.虚拟产品一经售出概不退款(资源遇到问题,请及时私信上传者)
版权申诉
专业资料
0 下载量
104 浏览量
2021-10-02
13:53:15
上传
评论
收藏
208KB
PPTX
举报
温馨提示
限时特惠:¥19.90
39.90
函数式编程语言编程和程序验证PPT学习教案.pptx
资源推荐
资源详情
资源评论
函数式编程语言编程和程序验证PPT课件.pptx
浏览:164
函数式编程语言编程和程序验证PPT课件.pptx
讲义-编程语言基础知识PPT学习教案.pptx
浏览:101
讲义-编程语言基础知识PPT学习教案.pptx
编程语言基础知识PPT课件PPT学习教案.pptx
浏览:131
编程语言基础知识PPT课件PPT学习教案.pptx
讲编程语言与基本指令PPT学习教案.pptx
浏览:25
讲编程语言与基本指令PPT学习教案.pptx
s编程语言实例PPT学习教案.pptx
浏览:66
s编程语言实例PPT学习教案.pptx
程序语言PPT学习教案.pptx
浏览:104
程序语言PPT学习教案.pptx
S系列PLC的编程语言及程序结构PPT学习教案.pptx
浏览:118
S系列PLC的编程语言及程序结构PPT学习教案.pptx
宏程序编程PPT学习教案.pptx
浏览:52
宏程序编程PPT学习教案.pptx
语言程序设计PPT学习教案.pptx
浏览:3
语言程序设计PPT学习教案.pptx
s编程语言实例PPT教案.pptx
浏览:158
s编程语言实例PPT教案.pptx
AS编程语言基础PPT学习教案.pptx
浏览:4
AS编程语言基础PPT学习教案.pptx
PLC编程语言PPT教案.pptx
浏览:8
PLC编程语言PPT教案.pptx
施耐德PLCM编程语言与编程指令PPT学习教案.pptx
浏览:38
施耐德PLCM编程语言与编程指令PPT学习教案.pptx
PB程序设计PowerScript编程语言PPT教案.pptx
浏览:100
PB程序设计PowerScript编程语言PPT教案.pptx
数控宏程序编程PPT学习教案.pptx
浏览:111
数控宏程序编程PPT学习教案.pptx
BaaNToolssession编程培训程序设计PPT学习教案.pptx
浏览:122
BaaNToolssession编程培训程序设计PPT学习教案.pptx
简单程序pptPPT学习教案.pptx
浏览:126
简单程序pptPPT学习教案.pptx
FORTRAN语言程序设计PPT学习教案.pptx
浏览:94
FORTRAN语言程序设计PPT学习教案.pptx
汇编语言程序格式PPT学习教案.pptx
浏览:27
汇编语言程序格式PPT学习教案.pptx
Java编程语言基础知识PPT教案学习.pptx
浏览:123
Java编程语言基础知识PPT教案学习.pptx
PLC的编程语言和基本指令PPT教案.pptx
浏览:10
PLC的编程语言和基本指令PPT教案.pptx
VBScript编程语言PPT教案学习.pptx
浏览:57
VBScript编程语言PPT教案学习.pptx
单片机的C编程语言PPT学习教案.pptx
浏览:32
单片机的C编程语言PPT学习教案.pptx
FLASHActionScrip编程语言基础学习PPT学习教案.pptx
浏览:85
FLASHActionScrip编程语言基础学习PPT学习教案.pptx
汇编语言程序设计PPT学习教案.pptx
浏览:123
汇编语言程序设计PPT学习教案.pptx
语言第选择结构程序设计PPT学习教案.pptx
浏览:48
语言第选择结构程序设计PPT学习教案.pptx
语言第循环结构程序设计PPT学习教案.pptx
浏览:35
语言第循环结构程序设计PPT学习教案.pptx
JAVA语言程序设计PPT学习教案.pptx
浏览:114
JAVA语言程序设计PPT学习教案.pptx
51C语言程序设计PPT学习教案.pptx
浏览:36
51C语言程序设计PPT学习教案.pptx
会计学
1
函数式编程语言编
程和程序验证
内 容 提 要
学习函数式语言是因为
课程实践
所用工具中,
需要用函数式风格编
程。另外,需
要对比函数式
程序和命令式程序在
程序验证上的
区别
函数式编程语言概述
演算简介
函数式语言
SML
及编程简介
函数式语言
SML
的模块系统
函数
式程序
的验
证
第
1
页
/
共
33
页
函数式编程语言概述
函数式编程是一种编程
范型
它把计算看作
是对数学函数的求
值,
避免了状态和
易变数据结构
函数是构造程
序的基本成分,语
言还
提供构造更为
复杂的函数的机制
,语
言禁止使用赋
值语句
函数式编程的
根基是演算
演算是
1930
年代在
调查函数定义、
函数应用和递
归时研发的一个形
式系
统,是等价于
图灵机的一种抽象
的计
算模型
许
多函数
式编
程语言
都可
看成是
在
演
算基础
上精
心制作
出的
结果
第
2
页
/
共
33
页
函数式编程语言概述
函数式与命令式的比较
函数式编程强
调函数应用,而命
令式
编程风格强调
状态的改变
命令式程序的
“函数”有副作
用,如改
变全局变量
命令式程序缺
乏引用透明性,副
作用
是其根源
引用透明性:
可自由地将(子)
表达
式替换为它的
值而不改变程序(
表达
式)
函数式程序中
,函数的结果仅依
赖于
提
供给它
的参
数
没
有副作
用使
得理解
程序
和预测
程序
的
行为变
得容
易,
这
是研
究函数
式语
言
的一个
关键
动机
第
3
页
/
共
33
页
函数式编程语言概述
函数式语言的用途
历史上,(纯
)函数式语言一直
被学
术界(而不是
商用软件研发)重
视
现在,
Sche
me, OCaml
和
Haskell
等函数式语言
已经出现在
工业和商业应
用中
通过领域专用
编程语言,函数式
编程
有更广阔的天
地,如
Mathematica
(符号数
学)、
R
(统计
)、
J
和
K
(金融
分析)
函
数式编
程的
风格也
可用
于不是
专为
函
数式编
程设
计的语
言中
,
如
J
a
v
a
s
c
r
i
pt
融
入了
函数式
编程
的功
能
,
类似
的还
有
P
er
l
语言
第
4
页
/
共
33
页
剩余32页未读,
继续阅读
评论
收藏
内容反馈
1.该资源内容由用户上传,如若侵权请联系客服进行举报
2.虚拟产品一经售出概不退款(资源遇到问题,请及时私信上传者)
版权申诉
限时特惠:¥19.90
39.90
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
shenlanzhijia
粉丝: 2
资源:
27万+
私信
下载权益
C知道特权
VIP文章
课程特权
VIP享
7
折,此内容立减5.97元
开通VIP
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
1.2.py
matlab商人过河代码
该数据包含了佛山市顺德区2022年二季度功能区声环境监测数据 该数据包括:监测时间、点位编码、测点名称、测点经度、测点纬度、测点
codec2编码解码的Qt5工程
2258XT工厂级全套固件和SM2258TX镜像助手
儿童节相关庆祝代码的示例
新建 DOC 文档.pdf
542107130424-于皓然-实验四.zip
端午节相关庆祝代码的示例
基于PYQT+文心大模型实现的MV制作器源代码,导入微调字幕导出,基本功能全部实现
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功