On 1 May 2015 at 21:54, Keean Schupke <ke...@fry-it.com> wrote: > > I don't here anyone arguing for type-classes over implicits saying they > want to remove first-class functions, but this would actually be the > logical conclusion of saying type classes with global instance coherence > are better than implicits? > > The intenion is to deal with the concerns you raised when you sited the F-ing modules paper way back when, and some sorts of reasoning when dealing with associated types.
-- 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 bitc-dev@coyotos.org http://www.coyotos.org/mailman/listinfo/bitc-dev
