如何进入高级函数式编程

首先我很抱歉，如果这不是该问题的正确答案，但是我认为，CS。不适用于StackOverflow，这也不是正确的答案。

我真的很喜欢函数式编程，我认为我是F＃的中级人员，并且对Haskell的基本概念非常了解-是的，我想我知道/也很清楚Monad是什么。

现在，我真的很想将其带到一个新的高度，并想了解所有关于函子和东西的话题。我只是不知道从哪里开始。

阅读有关Lambda微积分的信息吗？范畴论？我俩都知道一点，但我不认为这是正确/最快的启蒙方式。

也许您可以给我一些提示。

PS：我不怕数学，也不会轻易对练习感到沮丧，但是我更喜欢一些介绍/文本，您可以在其中放置一些代码，因为这样您可以立即获得反馈。

• 阅读Lambda论文，
• 潜伏在终极兰巴岛附近，
• 选择一种功能性语言（无论是否具有功能性），例如：
  • 哈斯克尔，
  • 方案，
  • OCaml。

F＃是一个好的开始，您应该继续使用Haskell，并且一定要阅读lambda演算并阅读上面提到的Lambda论文。

如果您来自面向对象的背景，则使用混合语言（Clojure，Scala，OCaml等）可能会有助于将其简化，但是我认为，如果您真的想了解功能性编程思维方式，则应该坚持使用真实的东西（Haskell，Lisp等）。

如果时间充裕，我建议您阅读这三本书：

• 功能算法设计的明珠
• 纯功能数据结构
• 类型理论与函数式编程

这三本书将全面丰富您对函数式编程的理解。

向您了解Haskell 对函子进行了出色的介绍。

对于非常繁琐的内容，您可以阅读Oleg Kiselyov的出色网站：定界连续符，拉链，迭代器，...