On 29 April 2015 at 10:36, Jon Zeppieri <[email protected]> wrote: > It was an good talk, but I was (and still am) confused by the > speaker's concern with the anti-modularity of implicits, given that > he's advocating global instance coherence, which is inherently > anti-modular. >
​Sure. See, I think that the direction Idris is going now, where you can label injective arguments, describing how your instance is discoverable, may give the best of both worlds, and that it's possibly a good area of research. So I want to get to know what the typeclass camp see as the concern with implicits, and I've had a really hard time figuring that out. Edward describes his intuition about it, and that's something I'm always prepared to listen to. He represents the "smart people that I disagree with but want to enable" bucket in this discussion. -- 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
