ポスト

CategoryをComonadにできるんだったら、(->)をComonadにしたものって何だろう?集合圏だとサイズの問題をちゃんと考えないといけないけど・・・Haskellでそういうことを気にせず書くこと自体はできる pic.twitter.com/8Wcdm2EAYd

メニューを開く

Koji Miyazato@viercc

みんなのコメント

メニューを開く

`W x`型の値`w`は「ある型`a`」と「型`b`と関数`f :: a -> b`が与えられたとき、`x`を返す関数」の組。後者の関数は`∀b. (a -> b) -> x`ではない。より自由度が高くて、型`b`に対してパターンマッチができる。

Koji Miyazato@viercc

人気ポスト

もっと見る
Yahoo!リアルタイム検索アプリ