haskell学习笔记

type 类型别名

data BookInfo = Book

BookInfo是类型构造器，Book是值构造器

data Bool = False | True

data Maybe a = Just a
             | Nothing

译注：Maybe，Just，Nothing 都是 Prelude 中已经定义好的类型
这段代码是不能在 ghci 里面执行的，它简单地展示了标准库是怎么定义 Maybe 这种类型的
这里的变量 a 不是普通的变量：它是一个类型变量。它意味着 Maybe 类型使用另一种类型作为它的参数。从而使得 Maybe 可以作用于任何类型的值。

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!