On Tue, Apr 28, 2015 at 6:43 AM, Matt Oliveri <[email protected]> wrote: > On Tue, Apr 28, 2015 at 12:27 AM, William ML Leslie > <[email protected]> wrote: >> I think Keean linked me to this video some time ago, and I think I'm >> starting to get an understanding of what he is talking about. This is >> Edward Kmett's "Typeclasses vs The World". >> >> https://www.youtube.com/watch?v=hIZxTQP1ifo > > Good video! I'm finally starting to get what the fuss over type > classes is all about. >
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. _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
