#TaPL の第4章（型なし計算体系のML実装）を #Rust で実装したというのを記事化しました。 #プログラミング はてなブログに投稿しました #はてなブログ 「型システム入門」第4章の実装をRustでやってみた - なんか考えてることとか opaupafz2.hatenablog.com/entry/2022/07/…