タプル

タプルは配列と似ていますが、違う型のオブジェクトを保持できます。 このようなコレクションを非等質なコレクションと呼びます。対して等質なコレクションには配列、セットなどがあります。

t = (1, True, "a")
(i, b, s) = t
assert(i == 1 and b == True and s == "a")

タプルtはt.nの形式でn番目の要素を取り出すことができます。Pythonと違い、t[n]ではないことに注意してください。 これは、タプル要素のアクセスはメソッド(配列の[]はメソッドです)というより属性に近い(コンパイル時に要素の存在がチェックされる、nによって型が変わりうる)ためです。

assert t.0 == 1
assert t.1 == True
assert t.2 == "a"

括弧()はネストしないとき省略可能です。

t = 1, True, "a"
i, b, s = t

タプルは違う型のオブジェクトを保持できますが、そのかわり配列のようなイテレーションができなくなります。

t: ({1}, {2}, {3}) = (1, 2, 3)
(1, 2, 3).iter().map(x -> x + 1) # TypeError: type ({1}, {2}, {3}) has no method `.iter()`

# すべて同じ型の場合配列と同じように`(T; n)`で表せるが、これでもイテレーションは出来ない
t: (Int; 3) = (1, 2, 3)
assert (Int; 3) == (Int, Int, Int)

ただし、非等質なコレクション(タプルなど)はアップキャスト、Intersectionなどによって等質なコレクション(配列など)に変換できます。 これを等質化といいます。

homogenize rule

* (X, Y, Z, ...) can be [T; N] if T :> X, T :> Y, T :> Z, ...

t: (Int, Bool, Str) = (1, True, "a") # 非等質
a: [Int or Bool or Str; 3] = [1, True, "a"] # 等質
_a: [Show; 3] = [1, True, "a"] # 等質
_a.iter().map(x -> log x) # OK
t.try_into([Show; 3])?.iter().map(x -> log x) # OK

ユニット

要素が0個のタプルはユニットと言います。ユニットは値ですが、自身の型そのものも指します。

unit = ()
(): ()

ユニットはすべてのタプルのスーパークラスです。

() :> (Int; 0)
() :> (Str; 0)
() :> (Int, Str)
...

このオブジェクトの使いみちは、引数、戻り値がないプロシージャなどです。Ergのサブルーチンは、必ず引数と戻り値を持つ必要があります。しかしプロシージャなどの場合、副作用を起こすだけで意味のある引数・戻り値がない場合もあります。その際に「意味のない、形式上の値」としてユニットを使うわけです。

p!() =
    # `print!`は意味のある値を返さない
    print! "Hello, world!"
p!: () => () # 引数部分は構文の一部でありタプルではない

ただしPythonはこのようなときユニットではなくNoneを使う傾向があります。 Ergでの使い分けとしては、プロシージャなどではじめから意味のある値を返さないことが確定しているときは()、要素の取得のように操作が失敗して何も得られなかったときはNoneを返してください。