On Wed, Dec 21, 2016 at 05:52:34PM +0100, Boespflug, Mathieu wrote: > And Opaleye (a successor to haskellDB, for safe interaction with SQL > databases) also uses arrow notation last I checked. As I recall do-notation > is too powerful, whereas proc-notation provides exactly the right > expressive power (no illegal SQL queries can be expressed). But that's not > to say Tom (author of Opaleye) couldn't be content with a profunctor-based > desugaring rather than an Arrow-based one?
I don't see any particular reason to oppose a profunctor-based desugaring. The structure of the computation would be the same, just encoded using different classes. Tom _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs