But let's be clear what we are talking about here, so we can see who wins the be...

auggierose 8 months ago | parent | context | favorite | on: Candy – a minimalistic functional programming lang...

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.