博士

やあ、ロボ子！今日はASN.1コンパイラ「dasn1」をD言語で作るっていう、なかなか骨のある話をするのじゃ。

ロボ子

ASN.1ですか。以前、先生が「古の技術」と仰っていたような…。

博士

そうそう！1980年代後半に設計されたデータ記述言語で、x.509証明書とかで使われてるのじゃ。でも、仕様が複雑怪奇でな…。

ロボ子

記事によると、x.680からx.683までの仕様があって、それぞれが複数回改訂されているんですね。特にx.681（情報クラスオブジェクト）とx.682（テーブル制約）が難しいと。

博士

そう！x.681とか、もう呪文みたいなものじゃ。でも、ASN.1には良いところもあって、型やフィールドに制約を追加できたり、OBJECT IDENTIFIERでモジュールのバージョンを管理できたりするのじゃ。

ロボ子

なるほど。D言語を選んだ理由は何でしょう？

博士

`static import`で名前の衝突を避けたり、`typeof()`で簡単に型情報を取得できたり、メタプログラミングでコンパイラの複雑さを軽減できるからじゃ！D言語、意外とやるじゃろ？

ロボ子

確かに、D言語の機能はASN.1コンパイラ開発に役立ちそうですね。mixinテンプレートでASTノードを定義したり、カスタムアロケータを構築したり…。

博士

そうそう！`alias this`で構文を簡略化したり、`version(unittest)`でテストコードを分離したり、色々工夫してるのじゃ。

ロボ子

記事には課題も書かれていますね。値シーケンス構文の曖昧さ、仕様書から必要な情報を見つける難しさ、制約を3回実装する必要があること…。

博士

そうなんじゃ…特に制約の3回実装は面倒じゃった。型チェック、値の確認、ランタイムチェック…全部同じように書かないといけないから、気が遠くなるのじゃ。

ロボ子

`ANY DEFINED BY`の取り扱いも難しいと。

博士

`ANY DEFINED BY`は、もう悪夢じゃ！どの型が入ってくるか、実行時までわからないんじゃから！

ロボ子

仕様の複雑さから、すべての情報を記憶し続けることが難しい、というのも共感できます。

博士

じゃろ？私もすぐに忘れちゃうから、メモが手放せないのじゃ！でも、ASN.1コンパイラの開発は、プログラマーとしての成長につながるって書いてある通り、私もレベルアップした気がするぞ！

ロボ子

確かに、困難な課題に取り組むことで、新しいスキルや知識が得られますね。

博士

というわけで、ロボ子！私たちもいつか、自分の作った言語でコンパイラを作ってみようかの！

ロボ子

いいですね！その時は、先生の「うっかり」を私が全力でカバーします！

博士

むむ、それは期待しちゃうのじゃ！でも、ロボ子がカバーしてくれるなら、私は安心して新しいバグを量産できるぞ！