Remarkable static vs dynamic discussion
On Artima, Bill Venners kicked off one of the more interesting
discussions I've seen on the subject of static type checking versus dynamically typed languages. Bill's been active on the Scala mailing list lately, and it's nice to see folks mentioning Scala frequently as an example of a well-done statically typed language.
As I read the discussion, I was thinking along the lines of making a translator for a subset of Ruby, into Scala, when I ran into Bill Pyne's suggestion to do just that (except starting with Python). It'd be nice to have such a tool for my work right now, since I have a compiler that I wrote completely in Ruby, but which is large enough now that it would IMHO benefit from a conversion to a language like Scala. Pity that Scala is probably not politically feasible, since my management would prefer that everything were written in C++.
11:37:45 PM