Second edition of the Carbon Copy is out!
github.com/carbon-languag…
More details over on Hachyderm: hachyderm.io/@chandlerc/112…
github.com/carbon-languag…
More details over on Hachyderm: hachyderm.io/@chandlerc/112…
Apr 8, 2024 · 7:15 PM UTC
1
7
28
5,646
@chandlerc1024 I like "unformed" here -- seems close to minimum requirements of "partially formed". I don't see rationale for requiring support for multiple destructions, though. Won't that often require users branching in destructors when not vacuous? Is rationale for that aspect up anywhere?
2
0
1
388
@CppSage The specific goal is to represent the large body of types which have a viable idempotent state for destructors.
As for how multiple destruction comes up, some of it may be in the proposal. My memory is that it is only about reducing cost -- specifically dynamic tracking.
As for how multiple destruction comes up, some of it may be in the proposal. My memory is that it is only about reducing cost -- specifically dynamic tracking.
0
0
0
202