In C++, the signature of a function template doesn't necessarily tell you what types you can successfully call it with, nor what the return type is. Much analysis is delayed until all templates are instantiated, with…
There are alternate histories where the web stagnated as an app development platform in favor of other ecosystems. MS development slowed around IE6 after winning browser war against Netscape. Apple's mobile ecosystem…
You can Zeno's-paradox-away the distinction between a bathtub and a kitchen sink, but that doesn't make them the same thing. This sort of argument change how people understand words, and it also doesn't change how…
Google has been using ML for years to optimize cooling in data centers. (I agree with gp though)
To each his own, but epsilon-delta is my go-to example of formalizing an intuitive concept ("gets closer and closer"), which is a high-level mathematical skill. The intuition and the formalism are presented together (at…
Yes (at least approximately, I'm fuzzy on the details). These days it supports both. (IIRC the default is legacy/nonstandard, you select the standard behavior with /fpermission-, and VS adds /fpermission- to newly…
Yeah, that trade-off makes a lot of sense. It's the logical conclusion of the "templates are textual" model. But C++ loves to have its cake and eat it regardless of the complexity, so it's non-conforming. (I expect it's…
Things within the node are fine because errors propagate upwards. The problem is things like: Foo getFoo(int); getFoo().???; // want code completion! `getFoo()` is missing an argument, but you still want to complete…
> Surrounding expressions that consume that type will see the error type and suppress any other type errors they might otherwise produce. We added a slightly-cursed version of this to clang. The goal was: include more…
Agree this difficulty is the biggest obstacle to PGO's success. A language/ecosystem that works out how to integrate this as smoothly as testing would have a sizeable performance boost in practice. The default profile…
In C++, the signature of a function template doesn't necessarily tell you what types you can successfully call it with, nor what the return type is. Much analysis is delayed until all templates are instantiated, with…
There are alternate histories where the web stagnated as an app development platform in favor of other ecosystems. MS development slowed around IE6 after winning browser war against Netscape. Apple's mobile ecosystem…
You can Zeno's-paradox-away the distinction between a bathtub and a kitchen sink, but that doesn't make them the same thing. This sort of argument change how people understand words, and it also doesn't change how…
Google has been using ML for years to optimize cooling in data centers. (I agree with gp though)
To each his own, but epsilon-delta is my go-to example of formalizing an intuitive concept ("gets closer and closer"), which is a high-level mathematical skill. The intuition and the formalism are presented together (at…
Yes (at least approximately, I'm fuzzy on the details). These days it supports both. (IIRC the default is legacy/nonstandard, you select the standard behavior with /fpermission-, and VS adds /fpermission- to newly…
Yeah, that trade-off makes a lot of sense. It's the logical conclusion of the "templates are textual" model. But C++ loves to have its cake and eat it regardless of the complexity, so it's non-conforming. (I expect it's…
Things within the node are fine because errors propagate upwards. The problem is things like: Foo getFoo(int); getFoo().???; // want code completion! `getFoo()` is missing an argument, but you still want to complete…
> Surrounding expressions that consume that type will see the error type and suppress any other type errors they might otherwise produce. We added a slightly-cursed version of this to clang. The goal was: include more…
Agree this difficulty is the biggest obstacle to PGO's success. A language/ecosystem that works out how to integrate this as smoothly as testing would have a sizeable performance boost in practice. The default profile…