On: Scala: sharp and gets things cut

[anorwell]

>Following that, perhaps for 2.12, Odersky recently proposed on Twitter a revision of the type system that had FP devotees up in arms since the proposed change removes some of the complexity that makes libraries like Scalaz possible.

What is the proposed change, exactly? Do you have more information?

[virtualwhys → anorwell]

Proposed change is here: https://github.com/strangeloop/StrangeLoop2013/blob/master/s...

and the Twitter thread is here: https://twitter.com/odersky/status/382833314286956544