Pixel Pedals of Tomakomai

北海道苫小牧市出身の初老の日常

2011-06-04から1日間の記事一覧

第16回FormalMethods勉強会に行ってきた

「Monad攻略戦」と聞いたので、参加してきました。 Type Class in Coq / @tmiya_ さん On Understanding Types, Data Abstraction, and Polymorphism universal Polymorphism 個別実装なし parametric : ML系の多層型 inclusion : サブタイプ、継承 ad-hoc P…