2 ms·
Yes, Rust is invasive because it guarantees certain properties that are otherwise very difficult to guarantee, and by all reports, once you build the requisite
by naasking 3y ago
Yes, Rust is invasive because it guarantees certain properties that are otherwise very difficult to guarantee, and by all reports, once you build the requisite mental model it becomes much more straightforward, which is typical of static typing and programming in general.
Re: static typing being a crutch, I disagree, and I think more, better typing is in our future, not less. We'll see how it goes.
- auggierose 3y agoBut 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.