Stalin is a beautiful proof of how much a compiler can optimize even "dynamic" languages under a closed-world assumption. This works because the compiler basically just infers all the types (EDIT: that it can, and that's sometimes much more precise than would be expressible in C, hence more optimization opportunities)
Another example of that, to me, is the google closure compiler for javascript (in advanced mode).
The PR situation stemming from stalin's name is a bit unfortunate, but you can always fork and rename it, if you want to work with it, right?
Also, I'm pretty glad that I live in a time where people are free to argue whether jokes about genocidal dictators are acceptable and in the place where I can read them doing so, from the other side of the globe.
Another example of that, to me, is the google closure compiler for javascript (in advanced mode).
The PR situation stemming from stalin's name is a bit unfortunate, but you can always fork and rename it, if you want to work with it, right?
Also, I'm pretty glad that I live in a time where people are free to argue whether jokes about genocidal dictators are acceptable and in the place where I can read them doing so, from the other side of the globe.