Hi, Am 16.03.2009 um 12:26 schrieb Robert Pfeiffer:
Did you mean this: http://wiki.jvmlangsummit.com/pdf/28_Siek_gradual.pdf It was presented at the JVM Summit, so Rich may already have given a thought to this.
Argh.. "Gradual Typing" that was term I was missing. Here some more information. The Paper (and a unsurprisingly negative discussion) on LtU: http://lambda-the-ultimate.org/node/1707 And the video of the talk from the above link. http://video.google.com/videoplay?docid=21835070615692553 I don't know, whether this is useful or not, but if we really want an optional type system, we should investigate the possibilities, I think. Sincerely Meikel
smime.p7s
Description: S/MIME cryptographic signature
