プログラム言語の面白い機能が好きです。あとは百合が好きです。 大学ではコントロールオペレータについて研究し、趣味ではOCaml、Haskell、ScalaやLuaなどを書いている。構文や意味論の形式化から、最適化、DSLや言語処理系の実装に興味アリ。
未来
未来
機械語をターゲットにしたコンパイラの実装
2020年3月
コントロールオペレータとその変換に関する研究
『Let’s go Algebraic Effects and Handlers: from an introduction to advanced topics』 from 『Dragon University 2019.4』
『つくってかんたんVirtual Machine-based Interpreter 』 from 『Dragon University 技術書典5』
2018年3月
アプリをインストールして、知り合いの最新の活躍をフォローしよう