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

EmacsでGaucheを勉強中。

プログラミング言語Signを設計、現在エコシステム開発に向けてプロジェクト進行中 関数型プログラミングをのためのmodule: https://www.npmjs.com/package/white_cats https://www.npmjs.com/package/dsand プログラミングカフェ　札幌　主催

電気系の学生． プログラミングはそんなに得意でもない．