I'd select a redundant mechanical device.
Or chemical. My first thought was: scram rods hanging off a "rope" made from an alloy specifically selected to melt at the right temperature. And/or a similar arrangement involving wax, as I think waxes have longer history of being used as thermal breakers.
For something like that I would be more concerned about the tests than the language. In other words, I'd trust my own code not at all, in any language.
I posit there is a difference between the safety of millions of people and the functionality of my stupid website.
If X is formally verifiable and conducive to writing testable, contractual code then yes.
Re:Wat (2012) [video]
by blacktriangle on Sunday April 18, 2021 @02:52PM
(#26855189)
Sounds like a job for Ada
anyways, here's the abductee-programming-language-conundrum:
consider Language X: there is a nuclear power plant, and you or loved ones live within 10 miles. it is your responsibility to select the language for implementing the emergency shutdown procedures. would you use language X?