超级会员免费看
探索 Idris 语言：从通用编程到依赖类型
通用编程练习
在使用 Idris 作为通用编程语言时，有一系列练习可以帮助我们熟悉它。如果你对这里的练习不感兴趣，也可以搜索一些有趣的 Haskell 问题。以下是一些练习分类：
- 查找相关资源 ：由于 Idris 是一门新语言，在 Google 搜索其名称时可能会出现很多人名而非相关编程内容。为了更好地搜索到有用信息，可在搜索时加入 “lang” 或 “language” 等关键词。需要查找的内容包括：
- Idris 语言的官方主页
- 所选编辑器的插件或语法高亮支持
- 其创造者 Edwin Brady 关于 Idris 的演讲
- Idris 邮件列表，可在其中提问
- Idris 自带的 List 定义
- 简单难度练习 ：
- 找出列表中大于给定数字的所有数字。
- 从列表的第一个元素开始，找出列表中每隔一个的元素。
- 构建一个表示标准扑克牌的扑克牌数据类型。
- 构建一个表示一副扑克牌的数据类型。
- 中等难度练习 ：
- 创建表示偶数和奇数的数据类型，要求偶数的后继是奇数，奇数的后继是偶数。
- 构建一个表示二叉树的参数化数据类型。
- 高难度练习 ：
- 反转列表中的元素（提示：可能需要一些辅助函数）。
理解依赖类型
在大多数编程语言中，类型和值是相互独立的。例如，List、String 和 Integ
订阅专栏 解锁全文
扫一扫
8万+
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
