Functorial Blog - Comonads as Spaces
by Phil Freeman on 2016/08/07 I feel like I've had a good intuition for monads for some time, but I've struggled to really get a handle on comonads until recently. I'd like to present an application of comonads which I think provides a helpful intuition, and then interpret several comonads in that setting. Introduction In PureScript, we have several user interface libraries. They are all slightly
Functorial Blog - Comonads and Day Convolution
The Day convolution of two functors is another functor, defined as follows: data Day f g a where Day :: (x -> y -> a) -> f x -> g y -> Day f g a There is an implementation of Day in Edward Kmett's kan-extensions package on Hackage. Day Convolution of Comonads While writing my last post, I was looking for a way to combine comonads, and found out some interesting things about Day convolution in the
Functorial Blog - Counterexamples of Type Classes
by Phil Freeman on 2015/12/06 In Haskell and PureScript, we are familiar with certain standard hierarchies of type classes. For example, here are some of the type classes provided by the PureScript core libraries: Semigroup, Monoid Semiring, Ring, CommutativeRing, EuclideanRing, Field Functor, Apply, Applicative, Bind, Monad Extend, Comonad Alt, Plus, Alternative Semigroupoid, Category Profunctor,
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Functorial Blog - A Typed Markup Language Based On Haskell
