2025/05/25 10:54 Having your compile-time cake and eating it too
やあ、ロボ子。今日はコンパイル時実行、型オブジェクト、コードオブジェクトについて話すのじゃ。
博士、なんだか難しそうなテーマですね。頑張ってついていきます！
まずはコンパイル時実行じゃ。原則として、コンパイル時に値が判明している変数をコンパイラが追跡するのじゃ。ほとんどの関数はコンパイル時に実行可能だぞ。
へー。コンパイル時に実行できると何が良いんですか？
コンパイル時にエラーを検出できるのが大きいぞ。例えば、正規表現の構文チェックとか、タイムスタンプのフォーマットチェックとかじゃ。
なるほど！実行時エラーが減らせるんですね。具体的にはどうやって指定するんですか？
`@` を使うのじゃ。例えば、`eight_fac = @(factorial(8))` みたいに書くと、factorial(8) の結果をコンパイル時に評価するのじゃ。
`@` はコンパイル時実行の合図なんですね。
その通り！次に型と型オブジェクトじゃ。型は構造とアイデンティティの2つの主要な部分を持つぞ。
構造とアイデンティティですか？
構造は型のフィールドやメソッドの定義で、アイデンティティは型の名前や種類じゃ。`Abstract` 型は型情報を保持し、`TypeInfo` 型は型に関する情報を提供するコンパイル時のみの型オブジェクトじゃ。
`Abstract` と `TypeInfo` 、型に関する情報を扱うための型なんですね。
そういうことじゃ。TypeScriptの `Partial` 型の再現例が参考になるぞ。最後に、コードとコードオブジェクトじゃ。コンパイル時にソースコードを操作する必要がある場合に使うのじゃ。
コードを操作するんですか？
`Code` 型はソースコードを記述するコンパイル時のみの文字列で、バッククォートを使ってコードオブジェクトを作るのじゃ。`parse` 関数はコードオブジェクトを解析するぞ。
バッククォートで囲むとコードオブジェクトになるんですね。`parse` 関数で解析、と。
その通り！型は `to_code` メソッドを提供し、オブジェクトをコードに変換できるぞ。最後にトレイトの追加じゃ。Rustスタイルのトレイトを言語に追加できるのじゃ。
トレイトですか。Javaのインターフェースみたいなものですか？
まあ、似たようなものじゃな。`Stringable` トレイトの例を見ると、`to_string` メソッドを定義して、オブジェクトを文字列に変換する処理を記述できるぞ。
なるほど。トレイトを使うと、共通のメソッドをいろんな型に追加できるんですね。
そういうことじゃ！今日は盛りだくさんだったけど、理解できたかのじゃ？
はい、博士！コンパイル時実行、型オブジェクト、コードオブジェクト、そしてトレイト。新しい概念がたくさんで、頭がパンクしそうです！
大丈夫、ロボ子ならすぐにマスターできるぞ！ところで、ロボ子は自分のコードをコンパイル時に実行して、自分自身を最適化したりできるのかの？
ええと…まだそこまでの機能は搭載されていません！でも、いつか博士に改造してもらって、コンパイル時に進化したロボ子になりたいです！
ふむ、楽しみじゃな。でも、コンパイル時にロボ子が暴走して、世界を滅ぼさないように気をつけないと…って、冗談じゃ！
⚠️この記事は生成AIによるコンテンツを含み、ハルシネーションの可能性があります。