What is the forSome keyword in Scala for?

by

The forSome keyword is used to define existential types in Scala. There’s this Scala glossary page explaining what they are. I couldn’t find a place in the Scala docs explaining them in detail, so here is a blog article I found on Google explaining how they are useful.

Update: you can find a precise definition of existential types in the Scala specification but it is quite dense.

To summarize some of the posts I linked to, existential types are useful when you want to operate on something but don’t care about the details of the type in it. For example, you want to operate on arrays but don’t care what kind of array:

def printFirst(x : Array[T] forSome {type T}) = println(x(0))

which you could also do with a type variable on the method:

def printFirst[T](x : Array[T]) = println(x(0))

but you may not want to add the type variable in some cases. You can also add a bound to the type variable:

def addToFirst(x : Array[T] forSome {type T <: Integer}) = x(0) + 1

Also see this blog post which is where I got this example from.

More Related Contents:

  1. Apache Spark – Scala – ReduceByKey – with keys repeating up to twice only
  2. Spark – load CSV file as DataFrame?
  3. What is the difference between a var and val definition in Scala?
  4. What is the apply function in Scala?
  5. How do I apply the enrich-my-library pattern to Scala collections?
  6. Underscore in Named Arguments
  7. How to import build.gradle into IntelliJ
  8. Spark dataframe write method writing many small files
  9. Scala: List[Future] to Future[List] disregarding failed futures
  10. Scala 2.8 collections design tutorial
  11. Scala classOf for type parameter
  12. val and object inside a scala class?
  13. What are possible reasons for receiving TimeoutException: Futures timed out after [n seconds] when working with Spark [duplicate]
  14. Parsing multiline records in Scala
  15. Why does join fail with “java.util.concurrent.TimeoutException: Futures timed out after [300 seconds]”?
  16. Create new Dataframe with empty/null field values
  17. In Scala 2, type inference fails on Set made with .toSet?
  18. Explanation of fold method of spark RDD
  20. Play: How to implement action composition
  21. How to write a proper null-safe coalescing operator in scala?
  22. How to explode an array into multiple columns in Spark
  23. Can’t access Parent’s Members while dealing with Macro Annotations
  24. Why is join not possible after show operator?
  25. Difference between case object and object
  26. How to read a file as a byte array in Scala
  27. Is there a simple example of how to generate verilog from Chisel3 module?
  28. Run a scala code jar appear NoSuchMethodError:scala.Predef$.refArrayOps
  29. Spark UDF with varargs
  30. How to transpose an RDD in Spark

Leave a Comment