thinking with types:for有关类型思维的原始资料 Source material

用类型思考 奉献精神 我的英语太糟糕了。 我受不了这个话题。 在我看来,担心您拼错了什么是荒谬的,因为英语拼写只是人类的习俗-它与任何真实的事物,自然界的事物无关。 理查德·费曼 概述 该存储库是我的《一书的所有原始资料。 如果您对写书的内容感到好奇,那么这可能是一个很好的阅读场所。 构建这个东西特别困难; 我必须编写三个单独的构建工具,并修补一些上游库。 您可以自由尝试找出答案,但我建议您 不要让我后悔开放源代码。 评论 我对这本书的总体组织原则是尽可能地使自己操蛋。 这意味着应该自动测试代码样本,应该自动进行GHCi会话,应该在同一地点放置解决方案和练习,并且所有材料始终有明确定义的真理来源。 结果令人高兴,但是事实处理起来却非常糟糕。 每章示例为每个代码示例支付1s的少量编译时成本是很好的,但我的天哪,在构建整个项目时,它确实会加起来。 从短期来看,在LaTeX中这样做是有