2013-05-21から1日間の記事一覧

SemiComonadもしくはExtendという、Comonadに関連するtypeclass

一言でいうと、Comonadからcopoint*1を除いたものです。 *1:またの名をextract