Scala double definition (2 methods have the same type erasure)

by

I like Michael Krämer’s idea to use implicits, but I think it can be applied more directly:

case class IntList(list: List[Int])
case class StringList(list: List[String])

implicit def il(list: List[Int]) = IntList(list)
implicit def sl(list: List[String]) = StringList(list)

def foo(i: IntList) { println("Int: " + i.list)}
def foo(s: StringList) { println("String: " + s.list)}

I think this is quite readable and straightforward.

[Update]

There is another easy way which seems to work:

def foo(p: List[String]) { println("Strings") }
def foo[X: ClassTag](p: List[Int]) { println("Ints") }
def foo[X: ClassTag, Y: ClassTag](p: List[Double]) { println("Doubles") }

For every version you need an additional type parameter, so this doesn’t scale, but I think for three or four versions it’s fine.

[Update 2]

For exactly two methods I found another nice trick:

def foo(list: => List[Int]) = { println("Int-List " + list)}
def foo(list: List[String]) = { println("String-List " + list)}

More Related Contents:

  1. How do I get around type erasure on Scala? Or, why can’t I get the type parameter of my collections?
  2. Why “avoid method overloading”?
  3. How to pattern match on generic type in Scala?
  4. Why does the Scala compiler disallow overloaded methods with default arguments?
  5. Advantages of F-bounded polymorphism over typeclass for return-current-type problem
  6. Scala and forward references [duplicate]
  7. Overload constructor for Scala’s Case Classes?
  8. Using context bounds “negatively” to ensure type class instance is absent from scope
  9. Why is this implicit ambiguity behaviour happening?
  10. How do I get an instance of the type class associated with a context bound?
  11. Scalaz Bind[Seq] typeclass
  12. Scala: Write a function to swap a number in place without using temporary variables
  13. What is a “context bound” in Scala?
  14. Understanding implicit in Scala
  15. Do scala constructor parameters default to private val?
  16. Composing Option with List in for-comprehension gives type mismatch depending on order
  17. NullPointerException in Scala Spark, appears to be caused be collection type?
  18. Functions vs methods in Scala
  19. When to use parenthesis in Scala infix notation
  20. Stream vs Views vs Iterators
  21. How to use Scala’s this typing, abstract types, etc. to implement a Self type?
  22. No configuration setting found for key ‘akka.version’
  23. Run custom task automatically before/after standard task
  24. How to force IntelliJ IDEA to reload dependencies from build.sbt after they changed?
  25. Scala : fold vs foldLeft
  26. Update operations on a Scala Case Class
  27. How does the “scala.sys.process” from Scala 2.9 work?
  28. Is there an equivalent to SuppressWarnings in Scala?
  29. Why isn’t Validation a Monad?
  30. Is it possible to have tuple assignment to variables in Scala? [duplicate]

Leave a Comment