擴展語法

在分解賦值中，將 * 放在變量前面會將所有剩余元素展開到該變量中。這稱為展開賦值

[x, *y] = [1, 2, 3]
assert x == 1
assert y == [2, 3]
x, *y = (1, 2, 3)
assert x == 1
assert y == (2, 3)

提取賦值

提取分配是一種方便的語法，用于本地化模塊或記錄中的特定屬性

{sin; cos; tan} = import "math"

之后，您可以在本地使用sin，cos，tan

您可以對記錄執行相同的操作。

record = {x = 1; y = 2}
{x; y} = record

如果要全部展開，請使用{*}=record。它在OCaml中是open。

record = {x = 1; y = 2}
{*} = records
assert x == 1 and y == 2