[plt-scheme] The problem with Scala (OT, sorry)

From: Raoul Duke (raould at gmail.com)
Date: Thu Mar 4 16:41:59 EST 2010

On Thu, Mar 4, 2010 at 1:11 PM, John Clements <clements at brinckerhoff.org> wrote:
> That is: the type checker couldn't figure out what kind of thing (List()) was, so it conservatively decided that it was List[Nothing].  Then, you get an error at some arbitrarily distant location. You can solve this by adding a type annotation to List(). Bflegg.

it is my rough anecdotal hear-say understanding that this happens in
other languages that have type inference. iiuc, the wisdom for
programming in ocaml is to actually put in type annotations anyway so
that errors show up closer to the real human error, rather than miles
away due to a type checker that manged to keep on trucking.

Posted on the users mailing list.