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

Hi,

A little bit more noise.

Some time ago I've discussed with D. Remy how we could evaluate the
requirements of type annotations. E.g., Having nominal class systems,
both Scala and F# cannot avoid annotations. There were also discussions in
the OCaml mailing list that unpredictable requirements could be harmful. 

We were interested to devise a suite of program transformations in the
presence of annotations, that the programmer may expect from the type
inference to survive. We did not complete it, but it may be a good exercise
for Typed Scheme, as well. 

Keiko