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

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

1. samber/mo 是什么？

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

2. Monad是什么？

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

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

  buyGroceries -> prepareFood -> setTable -> inviteGuests
1

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

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

  buyGroceries -> prepareFood(failed!)
1

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

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

package main

import (
	"fmt"

	"github.com/samber/mo"
)

func buyGroceries() mo.Option[string] {
	// Here we simulate a successful operation
	return mo.Some("groceries")
}

func prepareFood(groceries string) mo.Option[string] {
	// Here we simulate a failed operation
	return mo.None[string]()
}

func setTable(food string) mo.Option[string] {
	// Here we simulate a successful operation
	return mo.Some("table set")
}

func inviteGuests(table string) mo.Option[string] {
	// Here we simulate a successful operation
	return 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，就执行这个函数；否则返回None
			return 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
			},
		)
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63

输出

groceries bought
something went wrong
1
2

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

下一篇 Result