Viewing old version cf70207148907e3f5038610a1363eaf2faa2a539; View Current
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
ReferenceData, but the
sorted methods would not return properly typed
Lists, they would return lists of
ReferenceData 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.
You can also bound the other way, via
List[T >: Foo]
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 11/22/2009 at 09:21:44 PM by davecblog comments powered by Disqus
Creative Commons Attribution-Noncommercial-Share Alike 3.0 United States License.