python中when.py的语法

when.py是一个Python库，用于实现基于模式匹配的编程。其语法涉及到以下几个关键字：

- when：定义模式匹配的开始位置。
- with_args：指定模式匹配时需要匹配的参数。
- as：用于给匹配的值取别名。
- match：用于定义匹配的模式。
- case：定义一个匹配的模式分支。
- otherwise：定义在所有其他模式都不匹配时的行为。

下面是一个简单的例子：

from when import when, with_args, match, case, otherwise

@when
@with_args(int, int)
def add(x, y):
    result = match(x, y,
        case(0, 0): 0,
        case(0, int): y,
        case(int, 0): x,
        case(int, int): x + y,
        otherwise: None
    )
    print(result)

add(2, 3)  # 输出: 5
add(0, 5)  # 输出: 5
add(4, 0)  # 输出: 4
add(0, 0)  # 输出: 0
add(2, "hello")  # 输出: None

在上面的例子中，我们定义了一个名为add的函数，使用了when.py库。我们使用@when装饰器来定义这个函数是一个模式匹配函数，并使用@with_args装饰器指定了这个函数接受两个整型参数x和y。

在函数体中，我们使用了match函数来定义了需要匹配的模式。我们定义了4个case分支，分别对应x和y都是0、x为0、y为0、x和y都是整数的情况。此外，我们还定义了一个otherwise分支，用于处理其他情况。

当我们调用add函数时，会根据传入的参数进行模式匹配，并执行对应的case分支，如果没有匹配到任何分支，则执行otherwise分支。