Why does a language like Scala, with a very strong static type system, allow the following constructions:
scala> List(1, List(1,2))
res0: List[Any] = List(1, List(1, 2))
# [1; [1;2]; 3];;
[1; [1;2]; 3];;
Error: This expression has type 'a list
but an expression was expected of type int
Long story short, OCaml and Scala use two different classes of type systems: the former has structural typing, the latter has nominal typing, so they behave differently when it comes to type inference algorithms.
If you allow nominal subtyping in your type system, that's pretty much what you get.
When analyzing the
List, the Scala compiler computes the type as the LUB (least upper bound) of all types that the list contains. In this case, the LUB of
Any. Other cases would have a more sensible result:
@ List(Some(1), None) res0: List[Option[Int]] = List(Some(1), None)
The LUB of
Option[Int], which is usually what you expect. It would be "weird" for the user if this failed with:
expected List[Some[Int]] but got List[Option[Int]]
OCaml uses structural subtyping, so its type system works differently when it comes to type inference. As @gsg pointed out in the comments, OCaml specifically doesn't unify the types like Scala, but requires an explicit upcast.
In Scala, the compiler unifies the types when performing type inference (due to nominal subtyping.)
Of course you can get much better errors with explicit type annotations:
@ val x: List[Int] = List(1, List(1, 2)) Compilation Failed Main.scala:53: type mismatch; found : List[Any] required: List[Int] }.apply ^
You can get warnings whenever the compiler infers
Any - which is usually a bad sign - using the
-Ywarn-infer-any flag. Here's an example with the scala REPL:
scala -Ywarn-infer-any Welcome to Scala version 2.11.7 (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_51). Type in expressions to have them evaluated. Type :help for more information. scala> List(1, List(1, 2)) <console>:11: warning: a type was inferred to be `Any`; this may indicate a programming error. List(1, List(1, 2)) ^ res0: List[Any] = List(1, List(1, 2))