golang 函数式编程库samber/mo使用： Option

1. samber/mo 是什么？

samber/mo是一个Go语言库，它提供了一组函数式编程（FP）的抽象，包括Monad。这些抽象可以帮助你更好地组织和处理你的代码，尤其是在处理异步和错误处理等方面。

2. Monad是什么？

在函数式编程中，Monad就像是一个智能的盒子，它可以包装各种值，并且可以按照特定的规则将一系列的函数链接在一起。

举一个简单的例子来理解Monad。假设你正在组织一场宴会，你需要完成一系列的任务，比如购买食材，准备食物，设置餐桌，邀请客人等。我们假定每个任务都依赖于前一个任务的完成，比如你不能在购买食材之前准备食物，也不能在设置餐桌之前邀请客人。

  buyGroceries -> prepareFood -> setTable -> inviteGuests

在这个例子中，每个任务都可以看作是一个函数，每个函数的输入是前一个函数的输出。Monad就是一个可以将这些函数按照正确的顺序链接在一起的结构。在这个结构中，每个函数的输出都被包装在一个盒子（Monad）中，下一个函数可以从盒子中取出这个值，并使用它作为输入。

此外，如果在执行任务的过程中出现了错误（比如食材没有买到），Monad可以立即停止后续的任务，并返回一个表示错误的值。这就像是你在准备宴会的过程中准备食物失败（翻车），于是你决定取消宴会，而不是继续准备。

  buyGroceries -> prepareFood(failed!)

这就是Monad的基本概念。通过使用Monad，我们可以将复杂的函数序列简化为简洁的管道，抽象出控制流和副作用，使代码更加清晰和易于理解。

这个例子中的Monad可以看作是samber/mo库中的Option类型。Option类型是一种表示可能存在值的类型，它可以包装任意类型的值，并提供了一系列的操作来处理这个值。实现如下。

package mainimport ("fmt""github.com/samber/mo"
)func buyGroceries() mo.Option[string] {// Here we simulate a successful operationreturn mo.Some("groceries")
}func prepareFood(groceries string) mo.Option[string] {// Here we simulate a failed operationreturn mo.None[string]()
}func setTable(food string) mo.Option[string] {// Here we simulate a successful operationreturn mo.Some("table set")
}func inviteGuests(table string) mo.Option[string] {// Here we simulate a successful operationreturn mo.Some("guests invited")
}func main() {groceries := buyGroceries()groceries.Match( // 如果groceries不是None，就执行第一个函数；否则执行第二个函数func(groceries string) (string, bool) {fmt.Println("groceries bought")return groceries, true},func() (string, bool) {fmt.Println("something went wrong")return "", false},).FlatMap(func(groceries string) mo.Option[string] {// 如果groceries不是None，就执行这个函数；否则返回Nonereturn prepareFood(groceries)}). FlatMap(func(food string) mo.Option[string] {return setTable(food)}).FlatMap(func(table string) mo.Option[string] {return inviteGuests(table)}).Match(func(guests string) (string, bool) {fmt.Println("everything is ready")return guests, true},func() (string, bool) {fmt.Println("something went wrong")return "", false},)
}

输出

groceries bought
something went wrong

3. Option类型构造

samber/mo库中的Option类型是一种表示可能存在值的类型。它有两种状态：Some表示有值，None表示没有值。Option类型的构造主要包括

Some：将一个值包装到Option中
None：创建一个空的Option

4. Option类型的操作

samber/mo库中的Option类型提供了一系列的操作，可以帮助我们处理可能存在值的情况。这些操作包括：

Match：根据Option的值执行不同的操作, 如果Option有值则执行第一个函数, 否则执行第二个函数 doc - play
IsPresent：判断Option是否包含值 doc - play
IsAbsent：判断Option是否为空 doc - play
Size：返回Option的大小, 如果有值则返回1, 否则返回0 doc - play
Get：获取Option的值 doc - play
MustGet：获取Option的值，如果Option为空，则panic doc - play
OrElse：如果Option为空，返回一个默认值 doc - play
OrEmpty：如果Option为空，返回一个空的Option doc - play
ToPointer：将Option的值转换为指针 doc - play
ForEach：如果Option有值，则执行一个函数 doc
Map：如果Option有值，则将一个函数应用到Option的值，并返回一个新的Option；如果Option为空，则返回None doc - play
MapNone：如果Option为空，则将一个函数应用到Option的值，并返回一个新的Option；如果Option有值，则返回None doc - play
FlatMap: 和Map类似，只是mapper函数格式不同 doc - play
MarshalJSON：将Option的值转换为JSON格式, 如果Option为空, 则执行json.Marshal(nil) doc
UnmarshalJSON：将JSON格式的值转换为Option doc
Scan: 实现了sql.Scanner接口，可以将数据库查询结果转换为Option doc
Value: 实现了driver.Valuer接口，可以将Option转换为数据库查询参数 doc