algonote

機械学習とか

Rust

Rust LT #2 〜いま使う!Rust〜まとめ&感想 #rust_jp

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