But let's be clear what we are talking about here, so we can see who wins the bet: I am betting against static typing, but on general logic. So I am betting ag

But let's be clear what we are talking about here, so we can see who wins the bet: I am betting against static typing, but on general logic. So I am betting against a static type system being the future, instead I think a general logic will be the future, not only of programming, but of all engineering.