On May 9, 2013, at 10:36 PM, Conal Elliott <co...@conal.net> wrote:
> BTW, have you see the new paper The constrained-monad problem? I want to
> investigate whether its techniques can apply to Category & friends for linear
> maps and for circuits. Perhaps you’d like to give it a try as well. I got to
> linear maps as an elegant formulation of timing analysis for circuits.
>
I have implemented the normal form for categories. The normal form is like the
type-threaded lists from the thrist package:
https://gist.github.com/sjoerdvisscher/5554910
Evaluating the normal form works fine even for your original :-* datatype.
But I got stuck trying to expand this to categories with products, as I'm not
sure what the normal form should be. But I guess you might have good ideas
about that?
Sjoerd
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe