Re:The Power of Ten – Rules for Developing Safety Critical Code
by AnimalMuppet on Thursday July 14, 2016 @03:10PM
(#12096459)
I would imagine, though, that "prototyping" and "safety critical" are on opposite ends of the spectrum...
"Haskell vs. Ada vs. C++ vs. Awk vs. ... An Experiment in Software Prototyping Productivity"
http://haskell.cs.yale.edu/?post_type=publication&p=366