Rust におけるゼロコストな「タグレスイニシャル」GADTスタイルの Enum
enum と never 型を用いてゼロコスト抽象化を実現する「タグレスイニシャル」パターンの Rust 実装を深掘りし、最適化されたアセンブリ出力を示します。
enum と never 型を用いてゼロコスト抽象化を実現する「タグレスイニシャル」パターンの Rust 実装を深掘りし、最適化されたアセンブリ出力を示します。
PhantomData ベースのヒント技法を用いてジェネリクスを自動推論し、カーソルベースの抽象 Method トレイトを定義する方法を解説します。
本記事では、ローカルメモリポインタと「矢印」ステートメントを活用して抽象的なプログラムを宣言する、先進的な CPS(継続渡しスタイル)の実装例を探ります。