Fil-Cをよりシンプルに：軽量モデル化の全貌

Fil-Cの構造を簡略化したモデルについてです。

Fil-Cは今まで見てきた中で一番過小評価されてるプロジェクトだと思う。「安全性のためRustで書き直せ」なんて、Cプログラムを完全にメモリ安全な状態でコンパイルできるなら愚かにしか聞こえないよ。

これは「ファットポインタ」技術のまた別のバリエーションだね。過去に何度も実装されては却下されてきた手法だよ。セキュリティの保証が不十分だったり、非ファットなABI境界を越えられなかったり、あるいはオーバーヘッドが大きすぎたりするのが理由だ。