Another tour of Scala

 
 
 
 

Type Bounds

Viewing old version 2b871e4bb30ac94a92812bc4efe4d42b5056fec7; View Current

The Gist

Upper Bounds and Lower Bounds describe Scala’s support for restricting the types that can be used in a genericized class

My Interpretation

Just as with Java, in Scala you can put bounds on the generic types allowed to a generic class or method.

Suppose we have an object hierarchy of entities. We have a root entity that all must extend, and then a special secondary entity for reference data (data that is a code and a description and only aggregated by other entities).

Further, we wish to define a sorting class that we can apply to all reference data.

We could have created the sorter class to just take reference data entities, but the regular and sorted methods would not return properly typed Lists, they would return lists of our reference data root class and not, say List[Gender], which would be more useful.

This is essentially the same concept as List<T extends Foo> that you have in java, though more concise (at the cost of clarity, IMO).

You can also bound the other way, however I have yet to come up with a usable example of this.

My Thoughts on this Feature

Here we are going down the rabbit hole of static typing. I have found many uses for upper bounds, and almost no uses for lower bounds in Java, but I find the Scala syntax quite unpleasant. Even though it’s a few more characters, to me <T extends Foo> is just much clearer and easier to remember than [T <: Foo]. I instantly knew what the Java version meant, but still have to look up which syntax to use for Scala.

Like ScalaGenerics, you really do have to have this feature, but this is where the static types start to get confusing and muddle intent, IMO.


Last Updated 07/26/2009 at 02:27:51 PM by davec

blog comments powered by Disqus