- About Scala
- Documentation
- Code Examples
- Software
- Scala Developers
What's new in Scala 2.8 - Type Constructor Inference
Created by moors on 2010-10-07.
Updated: 2010-10-07, 17:51
Brush up your knowledge of type constructor polymorphism and learn about type constructor inference. These helped reduce code duplication and carve out a cleaner hierarchy for the new collection libraries. You'll better understand part of what makes the new collections tick and maybe your own code can benefit from them as well. Find out more here.
- Login or register to post comments
Printer-friendly version
Re: What's new in Scala 2.8 - Type Constructor Inference
Great article - there are two mistakes.
1. "declaration would be like the implementation of
mapabove referring to the argument of its argumentf. Indeed,map’s signature does not even name the argument of the functionf" - you have not specified the map signature, instead there is only filter and retain, both of whose arguments are p, not f.2. The link to the SKI calculus has an erroneous /igh on the end.