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 the framework. jld
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/package/operational It does actually have examples. Anyway, it seems like Unimo is not even on Hackage. -Brent
Le Tue, 13 Dec 2011 02:23:18 -0500,
Brent Yorgey
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 not even on Hackage.
Thank you very much for the reference. Indeed it seems that Unimo has not been really developped see: http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=89 jean-luc
participants (2)
-
Brent Yorgey -
Jean-Luc Delatre