In Scala we have a robust type system and so it's possible to model out your application through types.
For me 99.9% of all bugs are detected at compile time.
Whereas when I go back to using Python it's more like 50%.
For me 99.9% of all bugs are detected at compile time.
Whereas when I go back to using Python it's more like 50%.
The overwhelming majority of bugs in software are behavioural bugs, which typing does not catch.
If you want to go down the formalism route to catch bugs then at the bare minimum you require Z formal specifications for all your code.
Do you have Z formal specifications for all your code?