Monad(单子)的一个例子在哪里?

16 浏览
0 Comments

Monad(单子)的一个例子在哪里?

最近我试图理解什么是monad。\n虽然我看了很多解释monad和范畴论的文章和视频,但由于它太抽象,我无法完全理解。所以我能有一个有用的monad示例吗?

0
0 Comments

在这篇文章中,作者写了一个例子来展示如何使用monad抽象来避免代码重复。作者认为许多事物都是monad,而monad的有用之处在于只需编写一次函数(以monad为基础),然后就可以在Future、Option、Either、Writer、State等上重用该函数。

那么,Future、Option等是否是monad呢?是的,严格来说,它们都有monad实例,比如Monad[Option]。

问题的出现可以归结为作者想要演示monad的使用,特别是在不同的数据类型上重用函数的能力。解决方法是通过编写一个例子来展示monad在实际中的应用,并提供了相关数据类型(如Future、Option)的monad实例作为证明。整篇文章的目的是向读者展示如何使用monad来避免代码重复。

0