Idris 语言文档 Version 1.3.1口 口 我们经常想要定义能够跨多种不同数据类型工作的函数。例如,我们想要算术运算符至少可以作用于 Int、Integer 和 Double。我们想要 == 作用于大部分的数据类型。 我们想要以一种统一的方式来显示 不同的类型。 为此,我们使用了 接 接 接口 口 口( ( (I n t e r f ac e ) ) ),它类似于 奈奡女 奫 奥 奬 奬 中的类型类(奔 她 奰 奥 奣 奬 奡女1 魔豆 | 224 页 | 2.06 MB | 2 年前3
共 1 条
- 1










