haskell - 在 monad 之后学习 Haskell 的下一步是什么？

Question

我已经逐渐学习Haskell，甚至感觉自己已经掌握了monad。然而，仍然有很多更奇特的东西我几乎不理解，比如箭头、Applicative 等。虽然我是从我见过的 Haskell 代码中挑选一些零碎的东西，但最好找到一个真正解释的教程他们完全。 (似乎有几十个关于 monad 的教程..但一切似乎在那之后就直接完成了!)

Answer 1

以下是我在“掌握”单子(monad)后发现的一些有用的资源:

• 正如 SuperBloup 所指出的，Brent Yorgey 的 Typeclassopedia是不可或缺的(事实上它确实涵盖了箭头)。
• Real World Haskell 中有大量精彩内容可以被认为是“在 monad 之后”:例如应用解析、monad 转换器和 STM。
• 约翰·休斯的 "Generalizing Monads to Arrows"是一个很棒的资源，它教会了我关于 monad 的知识，就像它教会我关于箭头的知识一样(尽管我认为在阅读它时我已经理解了 monad)。
• "Yampa Arcade"论文很好地介绍了函数式响应式编程。
• 关于类型系列:我发现使用它们比阅读它们更容易。 vector-space包是一个起点，或者您可以查看 Oleg Kiselyov 和 Ken Shan 的 course on Haskell and natural language semantics 中的代码。 .
• 挑选 Chris Okasaki 的几个章节 Purely Functional Data Structures并详细研究它们。
• 雷蒙德·斯穆里安 (Raymond Smullyan) 的 To Mock a Mockingbird是对组合逻辑的非常易于理解的介绍，它将改变您编写 Haskell 的方式。
• 阅读 Gérard Huet 的 Functional Pearl on zippers 。代码是 OCaml，但是在阅读此类论文时能够在头脑中将 OCaml 转换为 Haskell 很有用(而且不太困难)。

最重要的是，深入研究您发现自己使用的任何 Hackage 库的代码。如果他们使用您不理解的语法、惯用语或扩展来执行某些操作，请查找。