Software Engineering Fundamentals

Each line of code is an opportunity for a bug to occur: Keep programs as short as possible.

Bugs will only be fixed if the code paths they lie in are executed: Have tests and testers.

No one language is best at everything: Use appropriate tools for each job.

To maintain simplicity you need to build on top of previous work: Divide code into logical modules/libraries that can ge reused.

>>25
It actually true:nothing has the same security as ada spark, its just extremely verbose and you have to detail the interaction of the functions with the global state. perfect for writing fundamental blocks.