What are your favorite statically typed, compiled, memory safe programming languages?