Disliked("Can the abstract factory pattern be implemented without dynamic polymorphism?", "Can we optimise time series validation using template metaprogramming?")Ignored
If you are allowed to experiment then I would suggest experimenting a bit with fuctional languages like OCaml (performs as well as C) and Erlang (my favourite language, with no variables - designed for telecom centers and 99,999999% reliability and distributability). I don't think I could live without pattern matching, especially with functions, closures and proper tail recursion and other very nifty things that aren't part of procedural programming.
I think you guess what language I'm using for my framework
Enough of that, this is what holy wars are born from thank you very much for your comments - they add a really valuable part to this discussion.