Control, performance and safety in programming languages