- 博客(1)
- 收藏
- 关注
原创 haskell类型入门
newtype 只能定义单一构造器,并且该构造 器只能有且仅有一个参数。这样一来,data 关键字是可以完全代替 newtype 的,但反之则可 能不成立。左边的book是类型或者类型构造器(type constructor),右边的book是data constructor。:t Book // 查看类型构造器的类型。参数化类型是需要类型参数的类型。3. 定义参数化类型。
2023-07-05 09:31:05 51
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人