Re: [Haskell-cafe] Chuan-Kai Lin's Unimo framework

[Jean-Luc Delatre]

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 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

___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Chuan-Kai Lin's Unimo framework

[Jean-Luc Delatre]

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

___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe