"プログラミングとは、無限に拡がる世界を有限に構造化する行為である。"
型とは、言語において最も根源的な境界の構文である。
それは、無制限な数値に意味を与え、無秩序な構造に制約を与える。
Rustにおいて、型は単なる制約ではない。
それは、意味、責任、文脈、そして哲学の構造体である。
この章では、Rustが設計した「型の幾何学的世界」と、そこに宿る思想を紐解いていく。
型は「意味」の境界である
let age: u32 = 32;
let height: f64 = 174.2;
この時、u32 や f64 が示しているのは、ただのビットサイズや構造ではない。
それは、「この値は年齢であり、これは身長である」という、意味論的宣言なのだ。
Rustでは、型が“何であるか”と“何でないか”をはっきりと分ける。
この明示性が、設計の予測可能性と信頼を支えている。
静的型付けは“制限”ではなく“予測性の保障”である
動的型言語では、「とりあえず動かしてみる」ことが可能である。
だが、それはしばしば実行時にしか起こらない失敗を孕む。
Rustの型システムは、それを**“コンパイル時に”封じ込める構造**として設計されている。
- 「この関数にはこの型しか渡せない」
- 「この操作はこの型にしか定義されていない」
- 「このトレイトがなければこの処理はできない」
これらの制約は、プログラムを“設計可能な空間”に閉じ込める幾何学的格子である。
新しい型を定義するということは、新しい意味を設計するということ
struct Meters(u32);
struct Seconds(u32);
このような構造体の違いは、実体としては同じ u32 である。
だが、意味としては明確に異なる。
型は、単位・責任・文脈を分離するための概念的レイヤーなのである。
型によって設計が語られ、設計によって型が育つ
Rustの型システムは、単なるデータ構造の制約ではなく、設計の言語である。
- 構造体：状態の単位
- 列挙型：分岐の列挙
- トレイト：振る舞いの共通構造
- ジェネリクス：文脈に応じた抽象化
これらはすべて、「型とは何か」を再定義する問いかけである。
型の粒度と設計の信頼性は比例する
たとえば次のコード：
struct Email(String);
struct Username(String);
このように型を分けることで、間違った順序で引数を渡してしまうというバグを防げる。
fn register(username: Username, email: Email) { ... }
これは単なる安全性ではなく、設計上の信頼を構文に変換する設計行為である。
トレイトによる「振る舞いの抽象」もまた、型の拡張である
Rustの型は、構造を持つだけでなく、振る舞い（trait）によって文脈に適合していく。
trait Drawable {
fn draw(&self);
}
これは、「この型が持つべき性質」を、明示的に定義し、型に宿すということに他ならない。
Rustでは、型がすべてを語る。振る舞いさえも“型として設計”されている。
結語：型とは、意味に構造を与える幾何学である
Rustの型システムは、強く、厳密で、厳格である。
だがそれは、開発者の自由を奪うためではない。
自由を、信頼できる構造の中で扱えるようにするための制限なのだ。
型を設計するということは、設計そのものを言語に翻訳する行為であり、
Rustの型システムはその翻訳装置として、非常に哲学的である。
"コードは型によって構造化され、型は思想によって定義される。"