which statically typed languages? You know Python has/will support even more static typing, which will be interesting...