Real dependent typing in Scala!

Previous | Next

By bloid
via nabble.com
Published: Jul 10 2008 / 10:40

One of the limitations of a map collection class is that the keys and elements have to be defined uniformly with respect to types. We can't define keys that map to string-like elements or keys that map to int-like elements. That kind of dependent typing is impossible to do in Scala...or is it?

Vote up

Vote down