LISP育ちなので 関数型言語に 興味を持っている 最近 Haskellに興味をもった。圏論の代数系言語に惹かれたのは DBの理論モデル化で D.Spivakの圏論の応用の見事さだった。 関係代数からファンクター理論に写った。 派生的に モナド モノイド 等を知った。応…