type type 关键字用来设置类型别名,提高代码可读性。 我们可以类比 shell 里面的 alias 命令,它是用来设置命令别名的。譬如下面的 shell 命令: 1 $ alias aria2-server="aria2c --conf-path ~/aria2.conf" 我们用 aria2-server 来代替
FlexibleInstances 先看看下面这个简单的例子: 1 2 3 4 5 6 7 8 -- Learning.hs data Vector a = Vector a a deriving (Show) class MyClass a where myFun :: a -> a instance MyClass (Vector a) where myFun = id 这样的定义看起来是没有问题的,因为不需要