数据系列默认实例

问题描述 投票:0回答:1

SO是一场狗屎秀。感谢您的搭车。

haskell type-families
1个回答
5
投票

默认数据族没有意义,因为你必须声明数据类型的构造函数,并且不同类型不能有同名的构造函数。您不能像上一个示例中那样将数据系列用作类型系列。

© www.soinside.com 2019 - 2024. All rights reserved.