InlineArray型糖衣構文

InlineArray に対して、サイズと要素型を of で区切る糖衣構文 [サイズ of 要素型] を導入します。

// 従来
let fiveIntegers: InlineArray<5, Int> = .init(repeating: 99)

// 新しい糖衣構文
let fiveIntegers: [5 of Int] = .init(repeating: 99)

of は “an array of five ints”（5個の Int の配列）という英語の自然なフレーズに近い読み方ができ、in や let と同じように短い文脈依存のキーワードとして機能します。

使い方

糖衣構文は InlineArray と完全に等価なので、ネストや型推論、右辺での利用など、元の型が書ける場所ならどこでも使えます。

// ネスト
let fiveByFive: [5 of [5 of Int]] = .init(repeating: .init(repeating: 99))

// 文脈からの型推論（サイズや要素型に _ を使える）
let fiveIntegers: [5 of _] = .init(repeating: 99)
let fourBytes: [_ of Int8] = [1, 2, 3, 4]
let fourIntegers: [_ of _] = [1, 2, 3, 4]

// 右辺での利用
let fiveDoubles = [5 of _](repeating: 1.23)

// 型として使える場所すべて
[5 of Int](repeating: 99)
MemoryLayout<[5 of Int]>.size
unsafeBitCast((1, 2, 3), to: [3 of Int].self)

サイズの位置に書けるのは、現状の InlineArray の仕様に沿って整数リテラルまたは整数型パラメータに限られます。将来 InlineArray 側で任意の式が許されるようになれば、この糖衣構文も同様に拡張される想定です。

記法上のルール

• of の前後には空白が必要です。[5of Int] は書けません。
• 空白の数は揃える必要はありません。[5 of Int] のように片側だけ多くても構いません。
• of の後ろには改行を置けますが、前に置くことはできません。これは文法上曖昧にはならないものの、パーサのエラー回復がしやすくなるように意図された制約です。

of を選んだ理由

セパレータの候補としては x・*・;・区切り記号なし、などが検討されました。of が選ばれたのは主に次の理由からです。

• 将来、式をサイズに書けるようになったとき、[5 * N * Int] は * 演算子と紛らわしくなるのに対し、[5 * N of Int] は明確に読めます。
• 将来、値版の糖衣構文（後述）が導入されたとき、[5 of 5] は「5個の5」と自然に読めますが、[5 x 5] や [5 * 5] は掛け算と混同されます。
• 完全推論した [_ of _] が、[_ x _] や [_ * _] と比べて ASCII アート感が少なく視認しやすいです。