Rust LT #2 〜いま使う！Rust〜に参加しました。 Rustを支えるインタープリター miriはMIR(mid-level intermediate representation)のインタープリター。unsafeを含めほとんどのRustのコードを実行できる。 ChalkはProlog風ソルバー。Prolog = 手続き型+単一…