On 8 January 2015 at 13:48, Jonathan S. Shapiro <[email protected]> wrote: > I'm mildly concerned that using CPO as our exemplar may delude us, precisely > because CPO admits reverse(). I'm not sure this use case is general enough > to serve as a design guide. q: can anybody suggest a relation that does not > readily translate into the view concept?
I assumed views == newtype. The implementation described is more like a Shwarz transform but you can do this at type level if you wish. -- William Leslie Notice: Likely much of this email is, by the nature of copyright, covered under copyright law. You absolutely MAY reproduce any part of it in accordance with the copyright law of the nation you are reading this in. Any attempt to DENY YOU THOSE RIGHTS would be illegal without prior contractual agreement. _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
