メタバリエンス

メタバリエンスは、データ構造やアルゴリズムの設計において、変数や関数の型を動的に決定し、実行時に最適化を行う概念である。主にプログラミング言語の型システムやコンパイラ設計に関連し、型安全性と柔軟性の両立を目指す。