Is there a academic language which focuses solely on performance and optimization- by building the program and data structures around the hot-loop and optimal cache usage? Something Mike Acton would create if he wrote compilers?