河原 悟

河原 悟

This user is using the new profile.

Join our Beta test to try out our new profile.

Join

百合

プログラム言語の面白い機能が好きです。あとは百合が好きです。 大学ではコントロールオペレータについて研究し、趣味ではOCaml、Haskell、ScalaやLuaなどを書いている。構文や意味論の形式化から、最適化、DSLや言語処理系の実装に興味アリ。


Skills and qualities

OCaml

Recommended by 水野 雅之
1
1

Lua

Recommended by 水野 雅之
1
1

関数型言語

Recommended by 水野 雅之
1
1

コンパイラ

Recommended by 水野 雅之
1
1

Haskell

Recommended by 水野 雅之
1
1

TypeScript, Git, 型システム

 and 2 skills

Show more

Publications

『Let’s go Algebraic Effects and Handlers: from an introduction to advanced topics』 from 『Dragon University 2019.4』

Apr 2019

『つくってかんたんVirtual Machine-based Interpreter 』 from 『Dragon University 技術書典5』

Oct 2018