Ad argvmentvm transi
Topos Uranos
Latine

Synthesis et provocationes: programmata maiora

Svmmarivm

Haec lectio octavam partem et, cvm ea, cvrsvm conclvdit. Colligit qvae tres partis lectiones consecvtae svnt; catenam notionvm restitvit qvae ab interfacie modvli ad emendationem vt methodvm dvcit; qvae ex his in qvalibet lingva valent ab iis qvae C++ propria svnt separat; violationem regvlae vnivs definitionis ostendit qvam nemo diagnoscit, et totvm modvm agendi indefinitvm cvrsvs in vnam tabvlam congregat, cvm eo qvod qvemqve casvm detegit; in probatione finali facvltates probationis initialis repetit; sex provocationes proponit qvae partem conivngvnt; et opere finali cvrsvs finitvr, accvrate specificato, cvm tabvla aestimationis svae, in qvattvor gradvs diviso, qvorvm qvisqve solvtionem exemplarem confirmatam habet.

Proposita discendi

  1. Programma in plvres modvlos cvm capitibvs, cvstodiis et pactis dividere, id separatim compilare et nvntia conivnctoris diagnoscere.
  2. Modvlvm ex specificatione sva temptare, programmate tentaminvm avtomaticorvm svb detectoribvs exsecvto, et assertionibvs examinare qvod accidere non potest.
  3. Errorem methodo (iterare, minvere, hypotheses formare, bisecare) et emendatore invenire, et investigationem scripto mandare.
  4. Modvm agendi indefinitvm qvem cvrsvs ostendit agnoscere, cvm eo qvod qvemqve casvm detegit, et violationem regvlae vnivs definitionis qvam nemo diagnoscit.
  5. Totvm cvrsvm in vno opere conivngere: programma qvod data tabvlaria administrat specificare, decomponere, constrvere, temptare, svmptvm eivs metiri et emendare.

Qvae vnitas consecvta est

Pars sibi proposverat docere qvomodo programmata ordinentvr, confirmentvr et emendentvr qvae iam neqve in vnam plicam neqve in capvt capivntvr. Propositvm impletvm est, nixvm eis qvae introdvctio pro cognitis habvit: declaratione et definitione, compilatione et conivnctione, pacto, invariante et qvaesitione binaria. Programma catalogi librorvm qvo pars incepit, qvod in vnam plicam capiebatvr, parseInt itervm describebat et «Cien años de soledad» tacite omittebat, qvia < scribebat vbi specificatio «ambo inclvsi» dicebat, in vltimo loco hvivs lectionis vt opvs finale rescribitvr: qvattvor modvli cvm pactis, programma principale qvod mandatis respondet, et programma tentaminvm cvm qvinqve et viginti casibvs. Dvo ex his casibvs, «inter, margines» et «inter, vnvs annvs», condicione programmatis primigenii deficivnt, et ideo error redire non posset qvin aliqvis animadverteret.

Plvres plicae et bibliothecae propriae

Lectio Plvres plicae et bibliothecae propriae programma divisit in capvt qvod declarat, plicam implementationis qvae definit et main.cpp qvod vtitvr. Cvstodias inclvsionis exhibvit, qvae inclvsionem dvplicem intra vnitatem translationis prohibent; regvlam vnivs definitionis, qvae multiple definition et undefined reference explicat et inline hodiernvm sensvm permissionis tribvit; compilationem separatam cvm -c, qvae ea tantvm obiecta itervm compilat qvorvm fontes vel capita mvtata svnt; et bibliothecam propriam cvm fvnctionibvs lectionvm priorvm.

Temptare

Lectio Temptare docvit casvs ex specificatione derivare, per regiones, margines et casvs singvlares, eventv exspectato alia via compvtato; programma tentaminvm avtomaticorvm scribere qvod solos defectvs nvntiat et codice 0 vel 1 finitvr; assert adhibere ad id qvod accidere non potest, sciendo -DNDEBUG id cvm condicione sva delere; dvm compilatvr temptare cvm static_assert et constexpr; et tentamina cvm detectoribvs exseqvi (detectore errorvm memoriae, AddressSanitizer, et detectore modi agendi indefiniti, UndefinedBehaviorSanitizer). Omnia monito Diikstrae nitvntvr: tentamen praesentiam errorvm ostendit, nvmqvam absentiam.

Emendare

Lectio Emendare emendationem vt methodvm experimentalem exhibvit: defectionem iterare, hypotheses formare qvae falsae evadere possint, inter eas experimentis decernere et tractvm svspectvm bisecare. Instrvmentvm explicavit (-g sine optimizatione, configvrationem Visual Studio Code in tribvs systematibvs, sessionem veram GDB, pvncta interrvptionis simplicia et condicionalia, gradvs et acervvm vocationvm) et rationes qvae plvris qvam ipsvm valent: casvm minvere, vltimvm pvnctvm rectvm assertionibvs qvaerere et a primo qvadro proprio relationis detectoris incipere.