chroot
Staff Emeritus
Science Advisor
Gold Member
- 10,266
- 45
D H said:Well, welcome to my world. Strong typing is just a start. Algorithms must provably run to completion in a fixed amount of space and time. A garbage collector deciding to rear its ugly head would be problematic, but fortunately there is no need to worry about garbage collection in avionics software: Memory allocation is strictly verboten. Python violates many precept of avionics software.
I'm well aware of "cleanroom" and other forms of zero-defect software engineering, and I understand the importance of languages like Ada and their strong typing for those purposes.
Despite being labeled a "zealot" in this thread, I understand that different tasks require different tools -- I know a dozen or so languages. The vast majority of programming tasks that most people want to do just don't require the rigor of Ada, though, and and they are better done in languages like Python.
In my opinion, Python just has the best mix of ease-of-use, accessibility, and power of any language available today.
- Warren