c# - 在 C# 中使用 Monads 的令人信服的场景是什么

Question

让我先声明一下，我对 Monad 的理解还很幼稚。我在这里阅读了有关 Monads 的各种主题，并对这个概念进行了几个小时的研究。我对这个词几乎感觉不舒服，但我认为可以肯定地说我通常理解 Monad 是/做什么。

我是一名 C# 开发人员，希望改进我的工作方式。在我的 Monaducation 中进一步帮助我的是在 C# 中看到 Monad 的真实世界应用程序（即通过 linq SelectMany() 或类似的方法），这显然是对 oldskool C# 中解决同类问题的其他方法的改进。

有人见过这样的野兽吗？

Answer 1

这是一个这样的场景：您想要创建一个解析库（嵌入式 DSL 的一个很好的示例），并且您发现最好的解析器库是单子解析器组合器库。因此，您编写它利用 LINQ 语法糖来编写与您正在解析的语言的语法具有相同结构的 C# 代码，并且您将获得用于动态语义分析和错误恢复的出色编程模型的好处. 有关说明，请参阅此博客。

Answer 2

求毕达哥拉斯三元组：

  var r = from a in Enumerable.Range(1, 25)
          from b in Enumerable.Range(a, 25-a)
          from c in Enumerable.Range(b, 25-b)
          where a*a + b*b == c*c
          select new [] { a, b, c };

Answer 3

这是一种这样的场景：您想编写在不占用线程的情况下进行顺序异步调用（例如 IO）的代码，但您不想编写异步编程模型（BeginFoo/EndFoo）强迫您陷入的无望的意大利面条纠结. 因此，您可以使用 monad 和 LINQ 糖并编写看起来直线但它在整个过程中释放/切换线程的代码。有关简短说明，请参阅此博客。

Answer 4

查看http://memoirsofaprogrammer.blogspot.com

Answer 5

null一个示例是使用 Maybe monad简化检查，如本文所示。

Answer 6

LINQ 用于 StackOverflow 上的许多解决方案（并且经常在问题中提出要求）。查看带有LINQ标记的问题，您将看到实际使用情况。

Answer 7

使用 monad 进行编程是声明性的，它从高层次描述你想要什么，而不是如何生成它的低层次细节。

请参阅第 9 频道 Brian Beckman 的 state-monad 演讲结尾处的练习。

Answer 8

我最近写了一篇关于将典型的命令式现实世界 C# 代码（NuGet中的函数）重构为函数式、单子样式（更具体地说，使用Maybe monad）的博客。我尽我最大的努力一步一步来，解释背后的理性步骤，所以我认为它有助于理解 monads 是如何有用的。