3 ms·
>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
by anorwell 13y ago
>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 13y agoProposed change is here: https://github.com/strangeloop/StrangeLoop2013/blob/master/slides/sessions/Odersky-TroubleWithTypes.pptx?raw=true https://github.com/strangeloop/StrangeLoop2013/blob/master/s... and the Twitter thread is here: https://twitter.com/odersky/status/382833314286956544 https://twitter.com/odersky/status/382833314286956544