展開代入

分解代入において、変数の前に*を置くと残りの要素を全てその変数に展開できます。これを展開代入と呼びます。

[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}
{*} = record
assert x == 1 and y == 2