Synthesis et provocationes: fvnctiones

Svmmarivm

Haec lectio qvintam cvrsvs partem, fvnctionibvs dedicatam, conclvdit. Catenam notionvm restitvit qvae a declaratione fvnctionis ad recvrsionem dvcit, per acervvm vocationvm, per pactvm, per transmissionem parametrorvm, per ambitvm et dvrationem variabilivm et per designationem expolitione gradatim factam; qvae ex his in qvalibet lingva valent ab iis qvae C++ propria svnt separat; modvm agendi indefinitvm partis colligit, cvm eo de qvo compilator monet, eo qvod detector sistit et eo qvod nemo indicat; in probatione finali facvltates probationis initialis repetit; et sex provocationibvs finitvr qvae totam partem conivngvnt.

Proposita discendi

Qvaestionem in fvnctiones decomponere, singvlas cvm sva interfacie et svo pacto (praecondicione et postcondicione), easqve separatim temptare.
Modvm transmissionis cvivsqve parametri et rationem eventvs reddendi eligere, et electionem ivstificare.
Qvaestionem per recvrsionem solvere eivsqve rectitvdinem per indvctionem et terminationem per mensvram decrescentem demonstrare, svmptvm eivs in vocationibvs aestimando.
Modvm agendi indefinitvm partis agnoscere (viam sine return, referentiam pendentem, eventvm exvndantem, acervvm exhavstvm) et programma sine eo rescribere.
In iis qvae in parte didicimvs, ea qvae in qvalibet lingva valent ab iis separare qvae C++ propria svnt.

Qvae vnitas consecvta est

Pars sibi proposverat docere qvomodo qvaestio in membra nominata decomponatvr, singvla cvm interfacie et pacto, et qvomodo qvaestiones per recvrsionem solvantvr. Propositvm impletvm est iis solis innixvm qvae introdvctio pro cognitis habenda declaravit: circvitibvs partis 4 cvm sva invariante et sva variante, specificatione lectionis 1.1 et exemplari memoriae partis 2. Programma nvmerorvm amicabilivm, cvivs circvitvs exscriptvs divisores nvmeri erronei addebat, nvnc vna sola fvnctione scribitvr, semel ad pactvm svvm comprobata.

Fvnctiones

Lectio Fvnctiones docvit fvnctionem declarare, definire et vocare, et tria momenta distinxit: in compilatione qvaeqve vocatio ad declarationem ante visam comprobatvr; in conivnctione definitio qvaeritvr; in exsecvtione argvmenta compvtantvr, qvadrvm in acervo vocationvm creatvr et moderatio in corpvs salit. Ostendit modvm agendi indefinitvm esse ad finem fvnctionis qvae void non est sine return pervenire, et cvm pacto conclvsit, praecondicione et postcondicione, qvod officia inter vocantem et fvnctionem partitvr.

Parametra et ambitvs

Lectio Parametra et ambitvs consideravit qvibvs viis data intrent et eventvs exeant: parametrvm per valorem est exemplvm; parametrvm per referentiam, altervm nomen cellae vocantis; referentia constans sine exemplo legit. Inde seqvitvr regvla eligendi (valor pro parvis, referentia constans pro magnis qvae tantvm legvntvr, referentia solvm si mvtare propositvm est) et, pro plvribvs eventibvs, std::pair et std::tuple cvm ligatvris strvctvratis. Ambitvm nominis, proprietatem textvs, a dvratione variabilis, proprietate exsecvtionis, distinxit, et cvm referentia conclvsit qvae cellae svae svperstes est.

Designare per fvnctiones

Lectio Designare per fvnctiones docvit decernere qvas fvnctiones scribere oporteat, per expolitionem gradatim: main breve qvod fvnctiones tantvm declaratas vocat, et descensvm ad singvlas, ita vt decompositio vt arbor delineetvr. Criteria bonae interfaciei statvit et regvlam «vna fvnctio, vnvm mvnvs», cvm signis eivs (conivnctione in nomine, fvnctione qvae in vno visorio non capitvr, vexillo) et effectibvs occvltis, vt variabili globali; svperonerationem praesentavit, cvm ordine praelationis et vocatione ambigva; et algorithmos partis 4 vt fvnctiones separatim temptatas rescripsit.

Recvrsio

Lectio Recvrsio docvit fvnctionem se ipsam vocare posse vt minorem qvaestionis instantiam solvat. Rectitvdinem per indvctionem demonstravit, vocationem minorem rectam esse svmendo, et terminationem per mensvram natvralem decrescentem; acervo qvadra secvta est qvae congervntvr et dissolvvntvr, et ostendit qvomodo acervvs exhavriatvr; monvit genvs eventvs mvlto ante acervvm exvndare; et Fibonacci recvrsivvm et iterativvm comparavit: $2\,692\,537$ vocationes contra 29 additiones pro $F_{30}$ .