プログラム言語の面白い機能が好きです。あとは百合が好きです。 大学ではコントロールオペレータについて研究し、趣味ではOCaml、Haskell、ScalaやLuaなどを書いている。構文や意味論の形式化から、最適化、DSLや言語処理系の実装に興味アリ。
In the future
In the future
機械語をターゲットにしたコンパイラの実装
Mar 2020
コントロールオペレータとその変換に関する研究
Mar 2018
TypeScript, Git, 型システム
and 2 skills
Show more
Apr 2019
Oct 2018