Le Tue, 13 Dec 2011 02:23:18 -0500,
Brent Yorgey a écrit :
> No, but if you want to define monads operationally I would instead
> recommend using the 'operational' package:
>
> http://hackage.haskell.org/package/operational
>
> It does actually have examples. Anyway, it seems like Unimo is n
On Mon, Dec 12, 2011 at 03:17:38PM +0100, Jean-Luc Delatre wrote:
> Does anybody has an hands on experience of using Chuan-Kai Lin's Unimo
> framework?
No, but if you want to define monads operationally I would instead
recommend using the 'operational' package:
http://hackage.haskell.org/packa
Does anybody has an hands on experience of using Chuan-Kai Lin's Unimo
framework?
https://sites.google.com/site/chklin/research
It looks interesting but it seems it amounts to add an extra layer of
interpretation (the monads encoding as a data type) and the paper lacks
examples of actual uses of