Since those new intermediary classes/types are mostly scoped they can be thrown away by the compiler when leaving the scope. Solving the exploding memory consumption.
In my sample the only actual instantiation would be the ones from the template on the bottom.
@incomputable
As for the "static if" issue, I wonder if we could write the code bellow. Where the declaration of "export «type» v" introduces the variable on the parent scope.
Another thought that I had is about the creation of classes :
In this example/idea instead of having "floating declarations" we could have manipulators of the types that simply create new types from the ones that we already have.
@NerdyAndQuirky@ricmac Great video, I love how you and all the crew on channel follow through every possible thing. But why don't you think that being open or eager to use new tech as a cultural trait?
Japan seems like a country that is always the early adopter of pretty much everything.
@mknejp @dascandy42 Russia is part of the security council, so such a resolution would be useful. At the same time pretty much improbable at this moment.
@seanbax Check the paper for deduct this paper. If I'm not wrong it was approved for C++23
Not sure if that is the last version of the paper:
https://t.co/OrQWTzmbw8
@grafikrobot@lefticus Exactly, I've seen code that "works correctly" but when you compare the explanation of what it was suppose to be doing with the actual results you get something completely different.
No tests whatsoever, of course.