Clayiumをリメイクしてみたり、TypeScriptで型レベルで遊んでみたりしている

ヨーガ歴31年のダルシム系エンジニア。昔々数学科では位相幾何を、大学院では情報幾何をやってました。（愛深きゆえにAIを捨てた男） 現在は関数型菩薩を目指して修行中の隠居系フリーランスです。😇

設定の記事を投稿します

趣味の者です

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

地方の大学生

I like Haskell

はてなブログ： http://yuchiki1000yen.hatenablog.com/ C#や型理論、形式検証に興味があります

北九州市立大学 准教授 Univ. of Kitakyushu Associate Professor / Computer and software for artificial satellite and space rover / Domain-specific architecture / Elixir

とっても気さく。