Na Memoriam, Tony Hoare, oyo azali na mbongo mingi

Na bokundoli: Sir Charles Antony Richard Hoare (Tony Hoare)

Mokili ya informatique ebungisi moko ya ba architectes fondateurs na yango. Sir Charles Antony Richard Hoare, oyo bato nyonso bayebani na nkombo Tony Hoare, akufaki, kotikaka libula oyo esalemi mpenza na kati ya elamba ya eteni nyonso ya logiciel oyo tozali kosalela lelo. Mpo na biso baye tozali na Mewayz, kotonga système d’exploitation d’affaires modulaire, mosala na ye ezali kaka histoire académique te; ezali mpenza libanga ya moboko ya bokeli ya système oyo ekoki kotyelama motema mpe ya malamu. Koleka na ye ebengisi biso to réfléchir na impact profond ya ba contributions na ye, kobanda na logique elegante ya algorithme ya quicksort tii na ba principes fondamentaux ya correction logicielle oyo e guider développement moderne.

Architecte ya élégance: Quicksort na Référence nulle

Nkombo ya Tony Hoare ezali synonyme ya ba contributions mibale ya monumental, kasi oyo ekeseni na ndenge ya kokamwa. Na 1960, abimisaki algorithme quicksort, mosala monene ya efficacité oyo etikali moko ya ba méthodes ya triage oyo bayekolaki mingi mpe basalelaka mingi. Elegance na yango ezali na approche na yango ya "divide and conquer", concept oyo ezo résonner makasi na philosophie modulaire ya Mewayz. Totongaka plateforme na biso na kokabolaka ba processus d’affaires complexes na ba modules gérable, interopérable, ndenge moko na quicksort epanzani problème mpo na ko résoudre yango na ndenge ya malamu.

Contrairement, Hoare mpe ayebanaki mingi mpo na kokotisa likanisi ya référence nulle na 1965, oyo na sima abengaki "erreur na ye ya ba milliards ya ba dollars." Invention oyo, oyo ekanamaki mpo na komonisa bozangi ya motuya, na kozanga koyeba ekomaki source ya liboso ya mabunga mpe ba bugs na tango ya kosala na boumeli ya ba décennies. Kasi, ata "libunga" oyo ezalaki liteya ya komikitisa mpe ntina ya bokeli ya makasi —liteya oyo eyebisaka lolenge nini totongaka ba systèmes ya bokasi na Mewayz, esika wapi ba structures ya ba données ya polele mpe botangi ya mabunga ezali na ntina mingi.

Moboko ya Bosembo: Logique ya Hoare

Mbala mosusu contribution ya Hoare ya motuya mingi ezalaki développement ya Logique ya Hoare na 1969. Système officiel oyo epesaka cadre mathématique pona ko prouver correction ya ba programmes informatiques. Esalelaka triples ya forme `{P} C {Q}`, esika `P` ezali condition préalable, `C` ezali commande, mpe `Q` ezali condition poste. Yango elingi koloba soki condition préalable P ezali vrai avant commande C ekende, alors condition poste Q ezali garantie ya kozala vrai sima.

Atako kosalela vérification officielle mobimba ezali mbala mingi impratique na ba milieu ya commerce oyo ezali kokende mbangu, ba principes ya Logique Hoare ezali na motuya mingi. Bateyaka biso kokanisa malamumalamu makambo oyo ekoki kobima, makambo oyo ebimisaka, mpe makambo oyo ekoki kobima na eteni nyonso ya programɛ. Na Mewayz, yango ebongolami na kosala ba modules na biso na ba contrats ya polele mpe na bizaleli oyo elimbolami malamu, kosala ete ntango ozali kokangisa biteni ndenge na ndenge ya OS ya mombongo na yo, esalaka elongo na ndenge ya kokanisa mpe ya kotyela motema.

Mateya mpo na ba logiciels ya mikolo oyo mpe ba systèmes d’affaires

Mosala ya Tony Hoare epesaka mateya ya koumela mpo na ba développeurs ya logiciel ya lelo mpe batongi ya plateforme. Mosala na ye ezalaki kobunda mpo na kozala polele, kozala pete, mpe koluka kozanga kotika kozala na bizaleli malamu. Na eleko oyo ba stacks ya ba logiciels ezali se kozala complexes, ba principes wana ezali na critique koleka. Bazali kokundolisa biso ete na se ya ba interfaces ya mosaleli mpe ba API, qualité ya moboko ya système etali bosolo na yango ya logique.

Na Mewayz, tosalaka makasi mpo na ko embodier mateya oyo na kosala OS ya mombongo oyo ezali na nguya mpe oyo ekoki kotyelama motema. Tozali kopesa makanisi na biso na kotonga moboko ya makasi mpo ete basaleli na biso bakoka kosala automatique mpe kosangisa na elikya nyonso ba flux ya mosala na bango kozanga komitungisa mpo na instabilité oyo ezali na nsé. Vision ya Hoare ya logiciel oyo ezali provably correct e inspirer biso to prioritiser robusté na module nionso to bimisaka.

Makambo ya ntina ya Tony Hoare ezali:

• Algorithme ya sortie rapide (1960): Algorithme ya triage ya malamu mingi oyo esalemi na paradigme ya kokabola pe kolonga.
• Hoare Logic (1969): Système officiel ya raisonnement na oyo etali correction ya ba programmes informatiques.
• Koyebisa ba procédés séquentiels (CSP): Modèle ya moboko pona programmation concurrente, oyo ezali na influence na minoko lokola Go.
• The Null Reference (1965): Invention moko ya influence, atako na sima e regretter, oyo e shape ba décennies ya design ya langue ya programmation.