great roadmap for scala

http://scala-lang.org/news/roadmap-next

I especially liked this:

"
Simple foundations: This continues the strive for simplicity on the type systems side. We will identify formerly disparate features as specific instances of a small set of concepts. This will help in understanding the individual features and how they hang together. It will also reduce unwanted feature interactions. In particular:

• A single fundamental concept - type members - can give a precise meaning to generics, existential types, wildcards, and higher-kinded types.


• Intersection and union types make member selection more regular and avoid blow-ups when computing tight upper and lower bounds of sets of types.


• Tuples can be decomposed recursively, overcoming current limits to tuple size, and leading to simpler, streamlined native support for abstractions like HLists or HMaps which are currently implemented in some form or other in various libraries.


• The type system will have theoretical foundations that are given by a minimal core calculus (DOT).

"