【coq】函数语言设计练习题poly 总结

Poly
多态列表

使用多态实现 list 的各种函数，包括： repeat, app, rev, length,
app 性质

rev 性质

pair

combine 两个 list 合并成 pair 的 list

split 一个（ x,y ）的 list 拆成 一个容纳 list 的 pair

filter 对 list 操作，保留通过 test 的元素

注意 {} 用来声明隐式参数类型，（）声明需要输入的参数

partition 把 list 分割成（可通过测试的元素，无法通过测试的元素）

map 单射，为每个元素执行 f 操作

性质
分配律

翻转

flat_map 将 x 性质的映射成 y 性质的 list

fold

将 b 加入 list ，并在元素之间执行操作

使用 fold 计算 list 长度

匿名函数的证明

证到式子一样即可。不停 unfold

附加题
succ 相关定义
mult 定义
指数运算定义

【coq】函数语言设计练习题poly 总结相关推荐

【历史上的今天】6 月 5 日：洛夫莱斯和巴贝奇相遇；公钥密码学先驱诞生；函数语言设计先驱出生
整理 | 王启隆透过「历史上的今天」,从过去看未来,从现在亦可以改变未来. 今天是 2022 年 6 月 5 日,世界环境日.1972 年 6 月 5 日至 16 日,联合国人类环境会议在斯德哥尔摩 ...
c程序语言设计练习题,C语言程序设计练习题(含程序及参考答案)
<C语言程序设计练习题(含程序及参考答案)>由会员分享,可在线阅读,更多相关<C语言程序设计练习题(含程序及参考答案)(47页珍藏版)>请在人人文库网上搜索. 1.1.定义一个 ...
c语言试卷及答案英文,C语言设计经典英文练习题
<C语言设计经典英文练习题>由会员分享,可在线阅读,更多相关<C语言设计经典英文练习题(12页珍藏版)>请在人人文库网上搜索. 1.C Practice Print 9*9 m ...
C 语言的可变参数表函数的设计
首先在介绍可变参数表函数的设计之前,我们先来介绍一下最经典的可变参数表printf函数的实现原理. 一.printf函数的实现原理在C/C++中,对函数参数的扫描是从后向前的.C/C++的函数参数是 ...
将军今天讲c语言了吗第六,计算机c语言第六章：函数教学设计(修改).doc
<C语言程序设计>之 ----- "函数"教学设计贵州交通技师学院张红 <C语言程序设计>之 ----- "函数"教学设计 [教材 ...
c语言中如何用sqar函数,简易函数信号发生器设计_毕业论文.doc
简易函数信号发生器设计 PAGE PAGE 2 简易函数信号发生器设计摘要:信号发生器又称信号源或振荡器,在生产实践和科技领域中有着广泛的应用.这次的设计分为五个模块:单片机控制及显示模块.数模转换 ...
c语言cgi函数库,cgic: 为C语言设计CGI地C函数库
cgic: 为C语言设计CGI地C函数库 cgic: 为C语言编写CGI的C函数库 ---由Thomas Boutell开发 ************************************* ...
9. 设计二个函数分别计算sinx和cosx_从并发模型看 Go 的语言设计
传统的程序语言设计都不会将输入输出作为语言的核心,但 Tony Hoare 认为输入输出是基本的编程原语,且通信顺序进程(Communicating sequential processes,CSP) ...
c语言高中题目及答案,高中信息技术 C语言程序设计练习题选修1
专心爱心用心1 C C 语言程序设计语言程序设计练习题练习题一单项一单项选择题选择题单项选择题要求从给出的四个备选答案中选出一个最符合题意的答案本类习题主要检查对 C 语言基本概念 ...
c语言程序编写字体,c语言程序设计练习题
c语言程序设计练习题篇一:c语言程序设计基础单元总结与练习题及答案 <C语言程序设计>单元总结与练习题答案单元一程序设计宏观认识单元总结提升本单元中,核心内容有C语言程序框架 ...

【coq】函数语言设计练习题poly 总结

【coq】函数语言设计练习题poly 总结相关推荐

最新文章

热门文章

【coq】函数语言设计 练习题poly 总结

【coq】函数语言设计 练习题poly 总结相关推荐

最新文章

热门文章

【coq】函数语言设计练习题poly 总结

【coq】函数语言设计练习题poly 总结相关推荐