Neovim, 型システム, Haskell, Idris, TypeScript, Monad, 圏論, Claude Code, Devin, Vue, Nuxt, 自動テスト, メンテナンス性, フロントエンド, フルスタック, Effect System, React, Scala, YazawaNico

型と圏がすきです Qiitaはほぼ見る専です

I’m a full-time front-end engineer. Also, I'm learning Rust the language and constantly contribute to the Servo open source project.

組み込み系(主にC言語)です。 趣味でいろいろ遊んでいます。