Ni Memoriam, Tony Hoare

<ọrọ>

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

Aye ti iširo ti padanu ọkan ninu awọn ayaworan ile ti o ṣẹda. Sir Charles Antony Richard Hoare, ti gbogbo eniyan mọ si Tony Hoare, ti ku, nlọ sile a julọ ti o ti wa ni oyimbo gangan hun sinu awọn fabric ti gbogbo nkan ti software ti a lo loni. Fun awọn ti wa ni Mewayz, ṣiṣe eto iṣẹ iṣowo modular, iṣẹ rẹ kii ṣe itan-akọọlẹ ẹkọ nikan; o jẹ ipilẹ pupọ ti apẹrẹ eto igbẹkẹle ati lilo daradara. Ikọja rẹ n pe wa lati ronu lori ipa ti o jinlẹ ti awọn ilowosi rẹ, lati inu ọgbọn didara ti quicksort algorithm si awọn ipilẹ ipilẹ ti titọ sọfitiwia ti o ṣe itọsọna idagbasoke ode oni.

The ayaworan ti Elegance: Quicksort ati awọn Null Reference

Orukọ Tony Hoare jẹ kannaa pẹlu arabara meji, sibẹsibẹ iyanilenu iyatọ, awọn ilowosi. Ni ọdun 1960, o ṣẹda algorithm quicksort, aṣetan ti ṣiṣe ti o jẹ ọkan ninu awọn ọna kika ti o ṣe iwadi julọ ati lilo. Iyara rẹ wa ni ọna “pipin ati ṣẹgun” ọna rẹ, imọran ti o jinlẹ jinna pẹlu imọ-jinlẹ apọjuwọn Mewayz. A kọ iru ẹrọ wa nipa fifọ awọn ilana iṣowo ti o nipọn sinu iṣakoso, awọn modulu interoperable, pupọ bi quicksort fọ iṣoro kan lati yanju daradara.

Ni idakeji, Hoare tun ṣe afihan imọran ti itọkasi asan ni 1965, eyiti o pe nigbamii "aṣiṣe bilionu-dola rẹ." Ipilẹṣẹ yii, ti a pinnu lati ṣe aṣoju isansa ti iye kan, lairotẹlẹ di orisun akọkọ ti awọn aṣiṣe asiko asiko ati awọn idun fun awọn ewadun. Sibẹsibẹ, paapaa "aṣiṣe" yii jẹ ẹkọ ni irẹlẹ ati pataki ti apẹrẹ ti o lagbara-ẹkọ ti o sọ fun bi a ṣe n ṣe agbero awọn ọna ṣiṣe atunṣe ni Mewayz, nibiti awọn ẹya data ti o ṣe kedere ati mimu aṣiṣe jẹ pataki julọ.

Ipilẹ ti Atunse: Hoare Logic Boya ipa pataki julọ ti Hoare ni idagbasoke Hoare Logic ni ọdun 1969. Eto iṣe deede yii n pese ilana mathematiki kan fun ṣiṣe afihan deede awọn eto kọnputa. Ó ńlò ìlọ́po mẹ́ta ti fọ́ọ̀mù `{P} C {Q}`, níbi tí `P` ti jẹ́ àmúdájú, `C` jẹ́ àṣẹ, `Q` sì jẹ́ ìfìdímúlẹ̀. Eyi tumọ si ti iṣaju P jẹ otitọ ṣaaju ṣiṣe aṣẹ C, lẹhinna ipo ifiweranṣẹ Q jẹ ẹri lati jẹ otitọ lẹhinna.

Lakoko ti lilo ijẹrisi ni kikun igbagbogbo jẹ iwulo nigbagbogbo ni awọn agbegbe iṣowo ti o yara, awọn ipilẹ ti Hoare Logic jẹ iwulo. Wọn kọ wa lati ronu lile nipa awọn igbewọle, awọn abajade, ati awọn ipa ẹgbẹ ti gbogbo paati sọfitiwia. Ni Mewayz, eyi tumọ si ṣiṣe apẹrẹ awọn modulu wa pẹlu awọn adehun ti o han gbangba ati awọn ihuwasi asọye daradara, ni idaniloju pe nigbati o ba sopọ awọn ẹya oriṣiriṣi ti OS iṣowo rẹ, wọn ṣiṣẹ papọ ni asọtẹlẹ ati igbẹkẹle.

Awọn ẹkọ fun sọfitiwia ode oni ati Awọn ọna ṣiṣe Iṣowo

Iṣẹ-ṣiṣe Tony Hoare nfunni ni awọn ẹkọ pipẹ fun awọn olupilẹṣẹ sọfitiwia ti ode oni ati awọn ọmọle pẹpẹ. Iṣẹ rẹ ṣe afihan mimọ, ayedero, ati ilepa didara. Ni akoko ti awọn akopọ sọfitiwia ti o pọ si, awọn ipilẹ wọnyi ṣe pataki ju igbagbogbo lọ. Wọn leti wa pe nisalẹ awọn atọkun olumulo ati APIs, didara ipilẹ ti eto kan da lori ohun ọgbọn ọgbọn rẹ.

Ni Mewayz, a tiraka lati fi awọn ẹkọ wọnyi ṣiṣẹ nipa ṣiṣẹda OS iṣowo kan ti o lagbara ati igbẹkẹle. A dojukọ lori kikọ ipilẹ to lagbara ki awọn olumulo wa le ni igboya ṣe adaṣe ati ṣepọ awọn ṣiṣan iṣẹ wọn laisi aibalẹ nipa aisedeede ti o wa labẹ. Iranran Hoare ti sọfitiwia ti o jẹ otitọ ti o tọ yoo fun wa ni iyanju lati ṣe pataki si agbara ni gbogbo module ti a tu silẹ.

Awọn ilowosi bọtini Tony Hoare pẹlu:

• Algorithm Quicksort (1960):Alugoridimu tito lẹsẹsẹ daradara ti o da lori ilana pipin-ati-ṣẹgun.
• Hoare Logic (1969): Eto iṣe deede fun ero nipa titọ awọn eto kọnputa.
• Awọn ilana Ibaṣepọ Ibaraẹnisọrọ (CSP): Awoṣe ipilẹ fun siseto nigbakanna, awọn ede ti o ni ipa bi Go.
• Itọkasi Null (1965):Igba agbara kan, botilẹjẹpe o kabamọ nigbamii, ẹda ti o ṣe apẹrẹ awọn ewadun ti apẹrẹ ede siseto.

"Awọn ọna meji lo wa ti ṣiṣe apẹrẹ sọfitiwia: Ọna kan ni lati jẹ ki o rọrun pupọ pe ko han awọn ailagbara, ati pe ọna miiran ni lati jẹ ki o ni idiju ti ko si awọn ailagbara ti o han gbangba. Ọna akọkọ jẹ nira pupọ sii. ”

Ogún-ipẹlẹ kan

Sir Tony Hoare ju onimọ-jinlẹ kọmputa lọ; o jẹ ariran ti o pese awọn irinṣẹ ati iṣaro lati kọ aye oni-nọmba. Awọn imọran rẹ lori ayedero, atunse, ati concurrency tẹsiwaju lati ṣe iwuri awọn iran ti awọn onimọ-ẹrọ. Bi a ṣe n tẹsiwaju lati ṣe idagbasoke Syeed Mewayz, a ṣe bẹ duro lori awọn ejika ti omiran yii, ni igbiyanju lati bu ọla fun ohun-ini rẹ nipa ṣiṣẹda sọfitiwia iṣowo ti kii ṣe iṣẹ nikan ṣugbọn ohun ti o dun. Oun yoo padanu pupọ, ṣugbọn awọn ilana rẹ yoo tẹsiwaju lati ṣe itọsọna ọjọ iwaju ti iširo.

Awọn ibeere Nigbagbogbo

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

Aye ti iširo ti padanu ọkan ninu awọn ayaworan ile ti o ṣẹda. Sir Charles Antony Richard Hoare, ti gbogbo eniyan mọ si Tony Hoare, ti ku, nlọ sile a julọ ti o ti wa ni oyimbo gangan hun sinu awọn fabric ti gbogbo nkan ti software ti a lo loni. Fun awọn ti wa ni Mewayz, ṣiṣe eto iṣẹ iṣowo modular, iṣẹ rẹ kii ṣe itan-akọọlẹ ẹkọ nikan; o jẹ ipilẹ pupọ ti apẹrẹ eto igbẹkẹle ati lilo daradara. Ikọja rẹ n pe wa lati ronu lori ipa ti o jinlẹ ti awọn ilowosi rẹ, lati inu ọgbọn didara ti quicksort algorithm si awọn ipilẹ ipilẹ ti titọ sọfitiwia ti o ṣe itọsọna idagbasoke ode oni.

Awọn ayaworan ti Elegance: Quicksort ati awọn Null Reference

Orukọ Tony Hoare jẹ kannaa pẹlu arabara meji, sibẹsibẹ iyanilenu iyatọ, awọn ilowosi. Ni ọdun 1960, o ṣẹda algorithm quicksort, aṣetan ti ṣiṣe ti o jẹ ọkan ninu awọn ọna kika ti o ṣe iwadi julọ ati lilo. Iyara rẹ wa ni ọna “pipin ati ṣẹgun” ọna rẹ, imọran ti o jinlẹ jinna pẹlu imọ-jinlẹ apọjuwọn Mewayz. A kọ iru ẹrọ wa nipa fifọ awọn ilana iṣowo ti o nipọn sinu iṣakoso, awọn modulu interoperable, pupọ bi quicksort fọ iṣoro kan lati yanju daradara.

Ipilẹ ti Atunse: Hoare Logic Boya ipa pataki julọ ti Hoare ni idagbasoke Hoare Logic ni ọdun 1969. Eto iṣe deede yii n pese ilana mathematiki kan fun ṣiṣe afihan deede awọn eto kọnputa. Ó ńlò ìlọ́po mẹ́ta ti fọ́ọ̀mù `{P} C {Q}`, níbi tí `P` ti jẹ́ àmúdájú, `C` jẹ́ àṣẹ, `Q` sì jẹ́ ìfìdímúlẹ̀. Eyi tumọ si ti iṣaju P jẹ otitọ ṣaaju ṣiṣe aṣẹ C, lẹhinna ipo ifiweranṣẹ Q jẹ ẹri lati jẹ otitọ lẹhinna.

Awọn ẹkọ fun Sọfitiwia ode oni ati Awọn ọna ṣiṣe Iṣowo

Iṣẹ-ṣiṣe Tony Hoare nfunni ni awọn ẹkọ pipẹ fun awọn olupilẹṣẹ sọfitiwia ti ode oni ati awọn ọmọle pẹpẹ. Iṣẹ rẹ ṣe afihan mimọ, ayedero, ati ilepa didara. Ni akoko ti awọn akopọ sọfitiwia ti o pọ si, awọn ipilẹ wọnyi ṣe pataki ju igbagbogbo lọ. Wọn leti wa pe nisalẹ awọn atọkun olumulo ati APIs, didara ipilẹ ti eto kan da lori ohun ọgbọn ọgbọn rẹ.

Ogún-ipẹlẹ kan

Sir Tony Hoare ju onimọ-jinlẹ kọmputa lọ; o jẹ ariran ti o pese awọn irinṣẹ ati iṣaro lati kọ aye oni-nọmba. Awọn imọran rẹ lori ayedero, atunse, ati concurrency tẹsiwaju lati ṣe iwuri awọn iran ti awọn onimọ-ẹrọ. Bi a ṣe n tẹsiwaju lati ṣe idagbasoke Syeed Mewayz, a ṣe bẹ duro lori awọn ejika ti omiran yii, ni igbiyanju lati bu ọla fun ohun-ini rẹ nipa ṣiṣẹda sọfitiwia iṣowo ti kii ṣe iṣẹ nikan ṣugbọn ohun ti o dun. Oun yoo padanu pupọ, ṣugbọn awọn ilana rẹ yoo tẹsiwaju lati ṣe itọsọna ọjọ iwaju ti iširo.