Two unrelated things found recently on Reddit: In Java 8 they have added type annotations: http://www.mscharhag.com/2014/02/java-8-type-annotations.html
This shows how a C-like language lacks some essential parts to use well the CPUs (both x86 and to ARM) to implement range integrals or multi-word integrals efficiently without using asm:
http://accu.org/index.php/journals/1849 Bye, bearophile
