Can I avoid more faults if I use different paradigms for the implementation and the specification/tests?
Since it is convenient for the developer, the same paradigm are often used for implementations and specifications, e.g. for testing (e.g. Java for the implementation and unit tests, Scala for the ...
Stata, the statistical software, has a programming language that does not fit into any paradigm that I know. The point that sticks out most is something like this. # Method 1 corr variableX ...