Le Tue, 13 Dec 2011 02:23:18 -0500,
Brent Yorgey byor...@seas.upenn.edu 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
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