magicfoodhand’s Twitter Archive—№ 833

Is there an objective metric for measuring safety in a programming language? i.e. if your program runs you have some guarantee about what will happen at runtime, Elm and Rust would be safer than JavaScript or C for instance. It needs to be more specific than just type safety too