Rust で型推論を高速かつ安全に実装

簡単、高速、安全。Rc / RefCell の威力を知ってほしい。データ型の定義型まずは普通に型 T を定義します。たとえば、ブーリアン型 \rm Bool と関数型 T \to T だけの型システムなら、以下のようになります。 Box ではなく Rc を使っています：これから型推論を実装しますが、型 T を型変数 \alpha に代入するとき、...