Haskell与抽象（2） ----- 从Type 到 Kind

小明沉迷与某辣鸡氪金手游，他掏出了辛辛苦苦攒了很久的30个石头，抱着上天台的决心点下了召唤按钮，lei了！黑贞老婆！！。是金色的光辉！！！

此时小明处于薛定谔的出货状态(Maybe出货)，他内心忐忑。其实是不会出的, 如果出了的是4星，怒删游戏（Nothing）， 如果是某总是出现的五星，小明会发出不亏的声音，但是依然无法使他的内心有任何波动（Just 某卡）。你可能想问是不是少了什么情况，没有黑贞的，小明是非洲人，请不要有不切实际的幻想
让我们用Haskell类型来描述一下小明现在的状态吧

data Card = Jeanne_d_Arc(白贞德你有什么不满意的么) | Jeanne_Alter(老婆)  

话说这个薛定谔的状态应该和卡这个类型相关吧，出白贞德索然无味，出四星啥也没有。
如何让某一个类型依赖与另外一个类型呢？如果你学过一些别的面向对象的语言可能你会想到泛型（generic type）, 在cpp里被称作模板，嘛，基本上是一回事，我们通过给一个类型在构造的时候传入另外一个类型，来实现对某一个不确定状态类型的特化。
在Haskell中我们当然可以这么做， 我们可以给我们的类型传入参数让它变成类型构造子，如下

data Maybe a = Nothing | Just a

很好，来ghci中试试做一个Maybe出货类型吧！

ghci>  cardXiaoMingGet = Just Jeanne_d_Arc
ghci> :t a    -----：t查看类型来看看我们是不是得到我们想要的类型了
a::Maybe Card

带类型参数的类型一般对于很多编程语言来说已经是类型系统中比较复杂的一部分了， 也许你听说过一个很装逼的概念，叫做模板元编程（template metaprogramming）, 这种编程技术推崇把模板中的类型参数来当作图灵完备的dsl使用， 很多人都把它描述成cpp中最恶毒最恶毒的黑魔法（evil c++）但是，请不要害怕它，cpp这样的多范式语言内置这一点也正是让他具有了一部分函数式类型系统的特点，毕竟在某些业务场景下，真的可能需要使用cpp去做一些函数式风格的编程。而回到Haskell中，这将是你时时刻刻需要使用的最常见的技巧，不过没什么可怕，因为正如我之前所说的，Haskell有着非常完善的类型系统，它会保证你代码的可读性（unlike c++）！

---

在之前我们已经接触到了高阶函数的概念，它可以接受一个函数作为它的输入， 回想一下Maybe的定义，它接受了一个类型作为参数返回了一个类型，从定义上非常相似！
Haskell中当然也存在着高阶的类型，换句话说，类型的抽象。他被叫做 Kind（emmmm我不知道该怎么翻译，可能是种类吧）。
在ghci中使用:k可以查看某一种类型的kind

Maybe:: * -> *

符号*代表了任意类型。
有了Kind的概念，我们在表达复杂类型的能力上自然又增强了一部，后面我们将来挑战Haskell的第一个劝退点Functor和Applicative！