Rust好きだけど正直あんまりわかっていません。最近はHaskell頑張り中。

定理証明系や論理プログラミングに興味をもっています。

能動的に動かなければ何も成長しないね。

京都で働いてるプログラマです

京都在住のHaskellerです。

札幌在住の素人Haskeller

#プログラマ #Haskell #Emacs #Web #NLP {データベース,ネットワーク,情報セキュリティ}スペシャリスト

Haskellすき

型に生き、型を守りて、型を往く