Di Memoriam de, Tony Hoare

In Memoriam: Sir Charles Antony Richard Hoare (Tony Hoare)

Cîhana komputerê yek ji mîmarên xwe yên damezrîner winda kir. Sir Charles Antony Richard Hoare, ku ji hêla hemîyan ve wekî Tony Hoare tê zanîn, koça dawî kir, li dû xwe mîrasek hişt ku bi rastî di nav tevna her perçeyek nermalava ku em îro bikar tînin de hatî xemilandin. Ji bo me yên li Mewayz, avakirina pergala xebitandina karsaziya modular, xebata wî ne tenê dîroka akademîk e; ew bingeha sêwirana pergalê ya pêbawer û bikêr e. Wefata wî me vedixwîne ku em li ser bandora kûr a tevkariyên wî bifikirin, ji mentiqê spehî yê algorîtmaya guheztina bilez bigire heya prensîbên bingehîn ên rastbûna nermalavê ku rêberiya pêşkeftina nûjen dike.

Mîmarê Elegezê: Quicksort û Referansa Null

Navê Tony Hoare hevwate ye bi du beşên bîrdar, lê bi balkêşî berevajî hev. Di sala 1960-an de, wî algorîtmaya bilez îcad kir, şaheserek bikêrhatî ye ku yek ji awayên cûrbecûr herî lêkolîn û bikar anîn dimîne. Zelalbûna wê di nêzîkatiya wê ya "parçe bike û bi ser bikeve" de ye, têgehek ku bi felsefeya modular a Mewayz re bi kûr ve vedigere. Em platforma xwe bi perçekirina pêvajoyên karsaziyê yên tevlihev di modulên birêkûpêk û bihevrekar de vediqetînin, mîna ku Quicksort pirsgirêkek dişkîne da ku wê bi bandor çareser bike.

Berevajî vê, Hoare di sala 1965-an de têgeha referansa betal jî bi navûdeng destnîşan kir, ku paşê jê re got "şaşiya xwe ya mîlyar dolar." Ev îcad, bi mebesta ku temsîla tunebûna nirxekê bike, bi dehsalan bi bêhemdî bû çavkaniya bingehîn a xeletiyên dema xebatê û xeletiyan. Lêbelê, tewra ev "şaş" dersek dilnizmî û girîngiya sêwirana hişk bû - dersek ku agahdar dike ka em çawa pergalên berxwedêr li Mewayz ava dikin, ku li wir strukturên daneya zelal û birêvebirina xeletiyan serekî ne.

Bingehek Rastdariyê: Mantiqa Hoare

Dibe ku beşdariya herî girîng a Hoare di sala 1969 de pêşkeftina Hoare Logic bû. Ew sê qatên forma `{P} C {Q}` bikar tîne, ku tê de `P` şertek pêşîn e, `C` fermanek e, û `Q` şertek paşerojê ye. Ev tê wê wateyê ku heke şerta pêşwext P rast be berî ku fermana C bimeşe, wê hingê şerta paşverû Q piştrast e ku paşê rast be.

Dema ku sepandina verastkirina tam ya fermî bi gelemperî di hawîrdorên karsaziya bilez de ne pratîkî ye, prensîbên Hoare Logic bêqîmet in. Ew me fêr dikin ku em bi hişkî li ser têketin, derketin û bandorên alî yên her pêkhateya nermalavê bifikirin. Li Mewayz, ev tê wergerandin sêwirana modulên me bi peymanên zelal û tevgerên xweş diyarkirî, û piştrast dike ku gava hûn beşên cihêreng ên OS-ya karsaziya xwe girêdidin, ew bi pêşbînî û pêbawer bi hev re dixebitin.

Ders ji bo Nermalava Nûjen û Pergalên Karsaziyê

Kariyera Tony Hoare ji bo pêşdebirên nermalava îroyîn û çêkerên platformê dersên domdar pêşkêşî dike. Karê wî zelalî, sadebûn, û lêgerînek bêdawî ya kalîteyê pêşwaz kir. Di serdemek stokên nermalava ku her ku diçe tevlihev dibin, ev prensîb ji her demê bêtir krîtîk in. Ew ji me re tînin bîra me ku di binê navgînên bikarhêner û API-yan de, qalîteya bingehîn a pergalê bi dengdariya wê ya mentiqî ve girêdayî ye.

Li Mewayz, em hewl didin ku van dersan biafirînin bi afirandina OS-ya karsaziyê ku hem bi hêz û hem jî pêbawer e. Em balê dikişînin ser avakirina bingehek zexm da ku bikarhênerên me bi pêbawerî karûbarê xebata xwe otomatîk bikin û yek bikin bêyî ku ji bêîstiqrariya bingehîn xeman bibin. Vîzyona Hoare ya nermalava ku bi îspat rast e îlhamê dide me ku em di her modulek ku em berdidin pêşiyê xurtbûnê bikin.

Beşdariyên sereke yên Tony Hoare ev in:

• Algorîtmaya Bilez (1960): Algorîtmayek cûrbecûr a pir bikêrhatî ya ku li ser bingeha paradîgmaya dabeşkirin-û-bidest dixe.
• Hoare Logic (1969): Pergalek fermî ya ji bo ramana rastdariya bernameyên komputerê.
• Pêvajoyên Peywendî (CSP): Modelek bingehîn ji bo bernamesaziya hevdem, bandorkirina zimanên mîna Go.
• Null Reference (1965): Dahênanek bi bandor, her çend paşê poşman bû, ku sêwirana zimanê bernamesaziyê bi dehsalan şekil da.

"Du awayên avakirina sêwirana nermalavê hene: Rêyek ew e ku meriv wê ewqas hêsan bike ku diyar e kêmasî tunebin, û awayê din ew e ku meriv ew qas tevlihev bike ku kêmasiyên eşkere tunebin. Rêbaza yekem pir dijwartir e."

Mîrasa Dawî

Sir Tony Hoare ji zanyarekî kompîturê wêdetir bû; ew vîzyonerek bû ku amûr û hişmendiya avakirina cîhana dîjîtal peyda kir. Ramanên wî yên li ser sadebûn, rastbûn û hevdemiyê berdewam dike ku nifşên endezyaran teşwîq bike. Gava ku em pêşvebirina platforma Mewayz didomînin, em wiya li ser milên vî dêw disekinin, hewl didin ku mîrata wî bi afirandina nermalava karsaziyê ya ku ne tenê fonksiyonel lê di bingeh de jî saxlem e, rêzdar bikin. Ew ê bi kûrahî bêriya wî bike, lê prensîbên wî dê berdewam bikin ku rêberiya pêşeroja komputerê bikin.

Pirsên Pir Pir tên Pirsîn

In Memoriam: Sir Charles Antony Richard Hoare (Tony Hoare)

Cîhana komputerê yek ji mîmarên xwe yên damezrîner winda kir. Sir Charles Antony Richard Hoare, ku ji hêla hemîyan ve wekî Tony Hoare tê zanîn, koça dawî kir, li dû xwe mîrasek hişt ku bi rastî di nav tevna her perçeyek nermalava ku em îro bikar tînin de hatî xemilandin. Ji bo me yên li Mewayz, avakirina pergala xebitandina karsaziya modular, xebata wî ne tenê dîroka akademîk e; ew bingeha sêwirana pergalê ya pêbawer û bikêr e. Wefata wî me vedixwîne ku em li ser bandora kûr a tevkariyên wî bifikirin, ji mentiqê spehî yê algorîtmaya guheztina bilez bigire heya prensîbên bingehîn ên rastbûna nermalavê ku rêberiya pêşkeftina nûjen dike.

Mîmarê Elegance: Quicksort û Referansa Null

Navê Tony Hoare hevwate ye bi du beşên bîrdar, lê bi balkêşî berevajî hev. Di sala 1960-an de, wî algorîtmaya bilez îcad kir, şaheserek bikêrhatî ye ku yek ji awayên cûrbecûr herî lêkolîn û bikar anîn dimîne. Zelalbûna wê di nêzîkatiya wê ya "parçe bike û bi ser bikeve" de ye, têgehek ku bi felsefeya modular a Mewayz re bi kûr ve vedigere. Em platforma xwe bi perçekirina pêvajoyên karsaziyê yên tevlihev di modulên birêkûpêk û bihevrekar de vediqetînin, mîna ku Quicksort pirsgirêkek dişkîne da ku wê bi bandor çareser bike.

Bingehek Rastdariyê: Mantiqa Hoare

Dibe ku beşdariya herî girîng a Hoare di sala 1969 de pêşkeftina Hoare Logic bû. Ew sê qatên forma `{P} C {Q}` bikar tîne, ku tê de `P` şertek pêşîn e, `C` fermanek e, û `Q` şertek paşerojê ye. Ev tê wê wateyê ku heke şerta pêşwext P rast be berî ku fermana C bimeşe, wê hingê şerta paşverû Q piştrast e ku paşê rast be.

Ders ji bo Nermalava Nûjen û Pergalên Karsaziyê

Kariyera Tony Hoare ji bo pêşdebirên nermalava îroyîn û çêkerên platformê dersên domdar pêşkêşî dike. Karê wî zelalî, sadebûn, û lêgerînek bêdawî ya kalîteyê pêşwaz kir. Di serdemek stokên nermalava ku her ku diçe tevlihev dibin, ev prensîb ji her demê bêtir krîtîk in. Ew ji me re tînin bîra me ku di binê navgînên bikarhêner û API-yan de, qalîteya bingehîn a pergalê bi dengdariya wê ya mentiqî ve girêdayî ye.

Mîrasa Dawî

Sir Tony Hoare ji zanyarekî kompîturê wêdetir bû; ew vîzyonerek bû ku amûr û hişmendiya avakirina cîhana dîjîtal peyda kir. Ramanên wî yên li ser sadebûn, rastbûn û hevdemiyê berdewam dike ku nifşên endezyaran teşwîq bike. Gava ku em pêşvebirina platforma Mewayz didomînin, em wiya li ser milên vî dêw disekinin, hewl didin ku mîrata wî bi afirandina nermalava karsaziyê ya ku ne tenê fonksiyonel lê di bingeh de jî saxlem e, rêzdar bikin. Ew ê bi kûrahî bêriya wî bike, lê prensîbên wî dê berdewam bikin ku rêberiya pêşeroja komputerê bikin.