python进行函数式编程的工具toolz

toolz 是一个 Python 库，提供了一些用于函数式编程的工具函数。它的目标是提供一组高效且易于组合的函数，可以大大简化复杂的数据处理任务，并提高代码的可读性和可维护性。

以下是一个示例代码，展示了如何使用 toolz 库对列表进行过滤和映射操作：

from toolz import pipe, curry, compose, filter, map

# 定义一个函数，用于将列表中的元素加倍
def double(x):
    return x * 2

# 定义一个函数࿰