On Wednesday 31 July 2024 17:39:56 GMT-7 Nathaniel Rupprecht via Std-Proposals
wrote:
> organicoman via Std-Proposals wrote:
> > And pretending that something works is a logical way to find errors.
> > 1- assume A is correct
> > 2- Use it
> > 3- if it give contradiction result, then your assumption is wrong
> > 4- correct it
> > 5- then repeat from 1.
> >
> > That's how usually we build softwares.

We can only do step 2 if we have a working compiler. Since we don't, we can't
use the steps above.

We have to replace the step of "use" with the rules and the rules are too
vague at this point.

I'm still waiting for motivation and use-cases.

-- 
Thiago Macieira - thiago (AT) macieira.info - thiago (AT) kde.org
  Principal Engineer - Intel DCAI Platform & System Engineering