Haskell中的主要概念其实都是围绕类型展开的，类型系统主要是为我们管理程序的抽象与保证程序的正确性而引入的。为了更好的复用代码，于是有了多态类型。某些类型有着共同的属性于是Haskell引入了类型类来管理它们。有一些类型是需要接受一个或者多个类型参数的，为了保证这一环节不会出错于是Haskell又引入了kind这一概念，同样出于复用代码的原因，Haskell又引入了kind多态。总之，抽象在一步一步加深，每加深一步就总结出更多公共的代码，为我们自动完成更多的事情，带来的问题就是会让人更加难以理解。所以了解Haskell的类型系统对于我们理解代码的复用、抽象非常有帮助。所以本次的演讲主要包括：

• Haskell中的值
• Haskell中的类型
• Haskell中的类型类
• Haskell中的类型的kind
• 以及它们的应用

Haskell不仅仅是一门学术型的语言，而是一门非常适用于编写应用软件的工程型语言，其实相当多的思想是可以迁移到非函数式语言上的，但是想要应用这些思想的人来说思维的转变上可能会有更长的路要走。现在主要的问题是现在的人们习惯于他们已经熟悉的东西，需要学习如何让函数编程中的理论来指导实践的编程，最大程度上减少重复，让更少的代码完成更多的工作。