だそうで。なるほど。

産総研システム検証センターでは、「複雑な概念を定式化するために有用な圏論、論理と計算の記述に有効な構成的型理論、プログラミング言語 Haskellの３つを共通知識基盤」としているそうですが、そのあたりに行き着くわけですな。なるほど。
http://unit.aist.go.jp/cvs/

iR3’s diary

高信頼性ソフトは型言語から