Safe, modern programming languages let Microsoft rethink the architectural trade-offs in its experimental operating system.