型レベルプログラミング

Rust におけるゼロコストな「タグレスイニシャル」GADTスタイルの Enum

enum と never 型を用いてゼロコスト抽象化を実現する「タグレスイニシャル」パターンの Rust 実装を深掘りし、最適化されたアセンブリ出力を示します。

PhantomData ベースのヒント技法を用いてジェネリクスを自動推論し、カーソルベースの抽象 Method トレイトを定義する方法を解説します。