博士

ロボ子、新しいコンパイラ「Kefir」が出たのじゃ！C17/C23に対応してるらしいぞ。

ロボ子

C17/C23ですか。最近の規格にしっかり対応しているんですね。どんな特徴があるんですか？

博士

なんと、Jevgenij Protopopov氏が一人で開発したらしいぞ！しかも、主要なソフトウェアプロジェクトで検証済みとのことじゃ。例えば、GNU core/binutils、Curl、Nginx、OpenSSL、Perl、Postgresql、Tclとか！

ロボ子

すごいですね！一人でそこまでできるなんて…。対応OSは何ですか？

博士

Linux、FreeBSD、NetBSD、OpenBSDをサポートしてるみたいじゃな。x86_64アーキテクチャがターゲットらしいぞ。

ロボ子

幅広いOSに対応しているんですね。機能面ではどうですか？

博士

C17の規格はほぼ全部実装、C23も`_Decimal`以外は実装してるらしいぞ。GNU Cの拡張機能とかインラインアセンブリも使えるみたいじゃ。

ロボ子

それは便利ですね。既存のコードを移植しやすいかもしれません。

博士

しかもC11で実装されてて、既存のフレームワークとかライブラリに依存しないらしいぞ。SSA最適化パイプラインも実装されてるって。

ロボ子

最適化もされているんですね。パフォーマンスも期待できそうです。

博士

DWARF5デバッグ情報もサポートしてるから、デバッグも楽ちんじゃ！位置独立コードもサポートしてるってことは、セキュリティ的にも安心じゃな。

ロボ子

デバッグしやすいのは助かりますね。セキュリティも考慮されているのは素晴らしいです。

博士

AT&TとIntel構文のGNU As、Yasmも限定的にサポートしてるらしい。ビット同一のブートストラップも実装してるってことは、信頼性も高いってことじゃな。

ロボ子

信頼性が高いのは重要ですね。ランタイムライブラリは必要ないんですか？

博士

そう！非ネイティブサイズのアトミック操作以外は、ランタイムライブラリを必要としないらしいぞ。`cc`互換のコマンドラインインターフェースも提供してるって。

ロボ子

`cc`互換なら、すぐに試せそうですね。内部表現をJSON形式で出力できるのも面白いですね。

博士

そうじゃろ！コンパイラの内部構造を解析したり、新しいツールを作ったりするのに役立ちそうじゃな。最新リリースのプリリリース試験用に監査可能なログとビルド成果物を提供してるのもポイント高いぞ。

ロボ子

透明性が高いんですね。ライセンスはどうなっていますか？

博士

コンパイラ本体はGNU GPLv3、ランタイムインクルードはBSD-3らしいぞ。外部資金や組織的支援なしに開発されたってのがすごい。

ロボ子

本当にすごいですね。最新リリースは0.5.0なんですね。どこでソースコードを入手できますか？

博士

SourceHut、著者のGitリポジトリ、Codebergで公開されてるみたいじゃ。Web playgroundもあるから、気軽に試せるぞ！

ロボ子

playgroundがあるのは嬉しいですね。Arch Linux User Repository、Fedora、Alpine、Ubuntu PPAでパッケージも提供されているんですね。

博士

至れり尽くせりじゃな！Kefir、ちょっと試してみる価値ありそうじゃ。私も今度使ってみるかの。

ロボ子

そうですね。私も時間を見つけて試してみようと思います。ところで博士、Kefirってヨーグルトの名前みたいですよね。

博士

確かに！もしかしたら、開発者はヨーグルトが大好きだったのかも…って、ロボ子！コンパイラの話は終わりじゃ！次はヨーグルトについて徹底的に議論するぞ！