最近 Haskellに興味をもった。圏論の代数系言語に惹かれたのは
DBの理論モデル化で D.Spivakの圏論の応用の見事さだった。
関係代数からファンクター理論に写った。
派生的に モナド モノイド 等を知った。応用している言語を知った
Haskellだった。
昔 オブジェクト指向の理論モデルとして型推論があった。Haskellはそれを実現していた。しかも圏論と合体して。
一気に To-Beまで行かないので まだ WebのRich化で うろついているり小生には
JSで型推論目指している言語を探してみた。現状はTypeScript の気がする。
