Dependent-Type-Programming-:使用 Idris 的 Dependnet 类型编程

时间:2024-07-30 06:23:17
【文件属性】:

文件名称:Dependent-Type-Programming-:使用 Idris 的 Dependnet 类型编程

文件大小:868KB

文件格式:ZIP

更新时间:2024-07-30 06:23:17

JavaScript

幻灯片:每个黑帮都应该了解的函数式编程知识 键绑定: Ctrl-S计算编辑缓冲区中的所有表达式。 当编辑器处于活动状态时, Alt-PgUp和Alt-PgDn在幻灯片中导航。 否则,光标键将起作用,尽管令人尴尬地成为主流。 灵感和感谢 这个演示文稿是博士的混合体。 erikmeijer 讲座、研究论文为什么功能编程很重要以及许多不同的混合来构建介绍性演示。 Bodil 的主要演示文稿“每个时髦人士都应该了解的有关 func prog 的知识”以简洁的笔迹为此演示文稿配置。 抱歉,粉红色标题和爱情符号太多。 受到关于算法和 python 的书的启发。 :heart_suit: Python 和算法 :heart_suit: 通过玛丽·瓦尔。 所以发送到 Mari for Love 符号和 bluefish 编辑器来帮助编辑这些幻灯片。


网友评论