This isn't about whether you or anyone else "likes" a smart compiler. This is about not making shit up about the goals that others have.
Maybe I should have said this before, but I'm part of the Rust project. I've been part of it almost a decade now. There has never been any moment or point in time in which I or anyone else I've seen in the project that has "the goal of putting as much smartness between what you type and what the compiler produces." You are just factually wrong.
If anything, it's exactly the opposite. You don't want too much smartness. But you need some of it (to the best of our knowledge) to achieve our actual goals, which, pithily stated, are "a memory safe systems language."
This isn't about whether you or anyone else "likes" a smart compiler. This is about not making shit up about the goals that others have.
Maybe I should have said this before, but I'm part of the Rust project. I've been part of it almost a decade now. There has never been any moment or point in time in which I or anyone else I've seen in the project that has "the goal of putting as much smartness between what you type and what the compiler produces." You are just factually wrong.
If anything, it's exactly the opposite. You don't want too much smartness. But you need some of it (to the best of our knowledge) to achieve our actual goals, which, pithily stated, are "a memory safe systems language."