务实型水平设计 我的实用型关卡设计的代码和材料。 实用型关卡设计是一本关于实践思想的书，它在Haskell的丰富型系统的帮助下得以表达。 与Haskell中有关类型的所有其他材料形成对比，本书的主要重点不是类型系统本身，也不是相关的数学。 本书的主要重点是实用主义：如何在实际程序中应用这些概念。 最佳实践是什么，类型如何影响应用程序的设计和体系结构，处理类型级别代码的意外复杂性时应遵循的原则。 本书是我第一本书《的直接延续。