Can it be that applications written on certain languages are inherently less safe, no matter how hard you try to get it straight?
Or, can it be that some programming paradigms are less safe than others?
That is, should the development of safety critical software consider avoiding, or using (or using with care) certain languages?