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

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.