The problem is obtaining solid data and not falling on cargo cult. If there’s a paper showing that static typing is safer, but is assuming A, B and C, it can be

The problem is obtaining solid data and not falling on cargo cult. If there’s a paper showing that static typing is safer, but is assuming A, B and C, it can be very easy to end up with a lot of people saying that only static typing should be used in every imaginable situation. Applying the results of research on these kind of practices can be incredibly difficult. Engineering processes are not a hard science…