Kid_TH

类型推导算法在函数式语言中非常有用，本算法是最常用的类型推导算法

haskell 是一种比较基础的函数式语言，比较适合初学者学习，语言非常优美，本资料是比较权威的haskell学习资料