[Haskell-cafe] Applicative & Monad as interaction between categories
carter.schonwald at gmail.com
Tue Aug 5 16:03:15 UTC 2014
huh, that looks neat, i'll have to check it out when i have time.
I'd actually argue that the paper by Sam Lindley, Philip Wadler and Jeremy
Yallop is another interesting take
therein, the authors relate Applicatives, Monads and Arrows and their
respective expressivity in a categorical setting
On Tue, Aug 5, 2014 at 10:57 AM, Mike Izbicki <mike at izbicki.me> wrote:
> I have a github repo called subhask that does this. It uses the
> ConstraintKinds extension and some other tricks to let us work in
> subcategories of hask, and build endofunctors, applicatives, and
> monads in those categories. My particular application is building a
> dsl for machine learning, so there's a category for linear maps, and a
> category for lipschitz maps, among many others. (Normal distributions
> are monads in the category Vect, and most metric-based algorithms are
> monads in the category of lipshitz maps.) It's not quite ready for
> release, but you can check out the in progress work if you want.
> The most interesting bits for you are probably the category instances:
> and the monad hierarchy:
> The monad definitions currently lack adequate documentation because
> some things will still have to change to get the type checker to do
> what I want. For example, do notation doesn't work properly yet in
> some subcategories.
> On Tue, Aug 5, 2014 at 1:46 AM, Ruben Astudillo <ruben.astud at gmail.com>
> > Hi all,
> > I recently came across of two blog posts by Gabriel Gonzales where
> > shows motivation for writing compositional functions -- and thus why the
> > of category is useful -- and motivation to write functors between them.
> > I wanted to know if something similar for has been done to `Applicative'
> > `Monad' as design pattern and interaction between categories. I've
> searching but
> > I always hit the Monad tutorials and more info on how to use them.
> > Thanks in advance. Excuse my English.
> > :
> > :
> > --
> > Ruben Astudillo. pgp: 0x3C332311 , usala en lo posible :-)
> > Crear un haiku, en diecisiete silabas, es complica...
> > _______________________________________________
> > Haskell-Cafe mailing list
> > Haskell-Cafe at haskell.org
> > http://www.haskell.org/mailman/listinfo/haskell-cafe
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe