level 1
各位大佬，初学haskell，有个问题想问一下各位。
当我们自定义b的type时，有没有什么方法可以是b获得a的type，使得我们在程序中更改a的type时，b的type也随之更改？
换而言之，有没有人什么函数可以返回一个数据的数据类型？
2018年10月15日 19点10分
1
level 11
-- 假设已定义了类型 A，无论是通过 type、data、newtype 关键字还是其他方式（如果有）。那么你可以——for example——
type B = A
type B = [A] -> A
type B a = [a] -> a -- 并在使用时写 B A
2019年03月23日 04点03分
5
level 6
获取数据的类型一般是通过反射
但你这个根据a改变b，貌似于多构造函数的类型，其实可以通过函数模式匹配来实现多态。
data b = a | c
foo::b -> ...
foo a = ...
foo c = ...
2020年09月02日 06点09分
7
