🇹🇿 Wadler anafuata majitu ya sayansi

Translations
, , ,
1

Source: https://iohk.io/en/blog/posts/2023/07/06/professor-philip-wadler-follows-the-giants-of-science-at-the-royal-society/
Kazi ya nyota ya mwanga unaoongoza katika maendeleo ya Cardano inawekwa alama na ushirika wa Royal Society, chuo kikuu cha kisayansi duniani.
image
Profesa Philip Wadler atajulikana kwa watumiaji wengi wa Cardano kama muundaji mwenza (pamoja na Manuel Chakravarty) wa Plutus, lugha mahiri ya kutengeneza programu ya blockchain. Kazi yake kwenye lugha za kompyuta na upangaji programu imesababisha uprofesa, tuzo nyingi, na ushirika wa Jumuiya ya Kifalme ya Edinburgh. Mtu yeyote ambaye ametumia Java au Haskell au XQuery, kwa kweli lugha yoyote ya kazi, amefaidika na kazi ya Wadler.

Mwezi huu, atajiunga na wakuu wa awali wa sayansi - ikiwa ni pamoja na Newton - ili kuingizwa kama mshirika wa Royal Society, chuo kikuu cha kisayansi duniani. Atakuwa FRS.

Sifa hii ni uthibitisho wa taaluma inayohusisha umri wa uchakataji mikrosi na ukuzaji wa teknolojia za kidijitali. Athari za wasomi hupimwa kwa mfumo wa h-Index: baada ya miaka 20 ya utafiti, alama ya 20 ni nzuri, 40 ni bora, na 60 ni ya kipekee. Alama za Wadler ni 73, kulingana na kazi yake iliyotajwa mara 26,981 katika karatasi na vitabu vilivyochapishwa.

Wasifu wake unasema kwamba ‘anapenda kuingiza nadharia katika vitendo na vitendo katika nadharia’, na hakika amefanya hivyo. Alikuwa msaidizi wa utafiti katika Chuo Kikuu cha Oxford na alipata uprofesa wake wa kwanza huko Glasgow - ambapo alikuwa mmoja wa wabunifu wakuu wa Haskell. Kisha alifanya kazi katika Bell Labs na Avaya Labs. Tangu 2003, Wadler amekuwa profesa wa sayansi ya kompyuta ya nadharia katika Shule ya Informatics katika Chuo Kikuu cha Edinburgh.

‘Mimi ni muumini mkubwa wa kufunuliwa kwa nadharia na mazoezi,’ asema Wadler. ‘Umuhimu wa kuzingatia yote mawili sanjari ni mada unayopata katika historia yote ya sayansi, kuanzia Blaise Pascal [mwanahisabati na mwanafalsafa Mfaransa aliyeweka msingi wa nadharia ya uwezekano] hadi Robin Milner [ambaye alisaidia kubuni lugha ya ML, mtangulizi wa Haskell, huko Edinburgh].’

Anaona faida kubwa ya wasomi kama 'Unapata kufundisha. Kufanya kazi na vijana husaidia mtu kuendelea kujisikia kijana, na kufundisha kunaboresha ustadi wa mawasiliano.

‘Nina furaha kwamba ninaalikwa kwenye mikutano mingi ya viwanda, na watengenezaji vijana wanaozungumza huko ni wajanja na wamehamasishwa - lakini ni baadhi yao tu wamejifunza jinsi ya kuwasiliana kwa ufanisi.’

Umuhimu wa kuandika kwa uwazi ulitolewa kwa Wadler mchanga wakati alichangia karatasi kwa Jumuiya ya Hisabati ya Amerika. Ilikuwa 1975 na aliiandika baada ya kuhudhuria kozi ya wanafunzi wa shule ya upili inayoendeshwa katika Chuo Kikuu cha California huko Berkeley. 'Nilijaribu kuiweka kwa njia ya jumla zaidi iwezekanavyo, lakini washauri wangu walinishauri kwamba hii ilifanya isieleweke! Walinifanya niiandike upya kwa njia thabiti zaidi iliyoifanya ipatikane zaidi.

‘Kuambiwa jinsi ilivyo muhimu kufanya kazi iwe rahisi kwa wasomaji wake kufuata imebaki kwangu kama somo muhimu.’

Kuelewa ulimwengu wa Wadler ni kugundua msamiati wa calculus lambda, kufuatilia lawama, kuandika taratibu, aina za darasa na monads. Ni mahali ambapo kutokuwa na orodha ni bora kuliko uvivu, na, ikiwa utakuwa mvivu, unapaswa kuifanya kwa darasa. Watu wengi hawatawahi kukutana na masharti haya, lakini amefuata ushauri huo kuhusu kufanya mawazo rahisi kwa watu kufuata. Ucheshi katika karatasi zake nyingi za kitaaluma na mtindo wake wa kuwasilisha mihadhara ni ushahidi wa hili. Majina kama vile ‘Mwongozo wa nahau ya fomula’, ‘Leftover Curry na Pizza iliyopashwa moto upya’, na ‘Et tu, XML?’ ni vigumu kusahau. Na kuonekana kwake kwenye mazungumzo akiwa na vazi la Lambda Man ni jambo lisiloweza kusahaulika.

Katika moyo wa Silicon Valley
Wadler alienda shule katika Cupertino High, katika eneo la California la San Francisco Bay ambalo lilikuwa linakuwa Silicon Valley. Alifikiri angekuwa mtaalamu wa hisabati, ‘Lakini ilikuwa rahisi kupata msimbo wa kazi, na yenye faida zaidi.’ Anawashukuru walimu watatu wa mapema, ‘hasa Bw Simons na Bw Grote, ambao walifundisha hisabati shuleni, na Gerald Alexanderson, aliyefundisha calculus katika Chuo Kikuu cha Santa Clara katika kozi ambayo nilihudhuria’.

Alipata digrii yake ya hisabati huko Stanford mnamo 1977. Mwaka mmoja kabla, Steve Wozniak na Steve Jobs walikuwa wameanza kuuza vifaa vyao vya Apple I na chipu yake ya 8-bit 6502 kutoka Teknolojia ya MOS, na 4KB ya kumbukumbu ya watumiaji. Donald Knuth anafikia juzuu la tatu la opus yake ya utayarishaji (sehemu ya hivi majuzi zaidi ilitolewa mwaka jana). Ni zama za Fortran, Cobol, Lisp, na Algol; Forth, Pascal, na C ni wageni jamaa. Xerox Parc inatengeneza SmallTalk. Kompyuta ndogo bado hazijafika na kutangaza Msingi. Wahandisi bado wanabeba sheria za slaidi. Ni miaka miwili kabla ya kitabu cha kawaida cha Douglas Hofstadter Gödel, Escher, Bach (kinachojulikana kama GEB); miaka minne kabla ya BBC Micro ya Acorn na PC ya IBM. Tim Berners-Lee anasomea fizikia huko Oxford na miongo kadhaa mbali na kupendekeza Wavuti ya Ulimwenguni Pote.

Mengi ya matukio haya muhimu yana marejeleo katika historia ya kibinafsi ya Wadler. Karatasi yake iliyofuata iliandikwa alipokuwa katika mwaka wake wa pili katika Chuo Kikuu cha Stanford - kwa darasa lililotolewa na Knuth. Ilikuwa wakati wa malezi. ‘Darasa la Knuth kuhusu miundo ya data, lililofundishwa kutoka kwa kitabu chake cha kiada, lilikuwa tukio la ajabu la kujifunza. Miongoni mwa mambo mengine, alitupa kurasa chache za maelezo ya jinsi ya kuandika maandishi ya hisabati. Maelezo hayo yalikuwa mwanzo wa kazi yangu kama msomi. Ninawarejelea hadi leo.’

Karatasi, ‘Uchambuzi wa kanuni za ukusanyaji wa takataka za wakati halisi’ ilishinda tuzo ya kwanza kati ya nyingi za Wadler: tuzo ya karatasi ya wanafunzi ya Forsythe kutoka kwa Chama cha Mitambo ya Kompyuta (ACM), jumuiya ya kisayansi yenye makao yake Marekani.

Darasa lenye ushawishi mkubwa zaidi huko Stanford lilikuwa utangulizi wa uchumi. 'Sikumbuki jina la mwalimu, lakini utafutaji wa mtandao unaonyesha kuwa alikuwa John Gurley. Alikuwa mchanganyiko wa Marxes wawili, Karl na Groucho. Alijua mambo yake, na akayawasilisha kwa mtindo wa kuburudisha sana. Angetufundisha moja kwa moja uchumi. Kisha kila wiki nyingine au hivyo angesema “nimekuwa nikikufundisha nadharia ya kawaida, sasa nitakuambia ukweli” na kutupa mtazamo wa Marxist. Nilichoondoa kutoka kwa hilo ni umuhimu wa kuwasilisha maoni yanayopingana kwa usawa.

‘Ingawa kwa shauku alifikiri kwamba maoni ya kawaida yalikuwa mabaya, alitaka kuwasilisha kwetu kwa usahihi.’

Wahadhiri wengine ni pamoja na John McCarthy na Vint Cerf - mmoja wa waanzilishi wa mtandao - pamoja na Knuth. ‘Jambo muhimu nililojifunza kutoka kwa wote watatu ni umuhimu wa ucheshi katika kazi yako. Vint ni mpwa wa Bennett Cerf [mcheshi na mkusanyaji wa limericks], na ilionyesha. Vint aliponieleza mtandao, alinukuu kutoka kwa opera ya Gilbert na Sullivan ya HMS Pinafore, akiimba “Je, inapoteza pakiti zozote? Kamwe. Nini kamwe? Sawa, hata kidogo.”

McCarthy, painia katika taaluma ya akili bandia, alimfundisha Wadler ‘jinsi ya kupanga katika Lisp. Hiyo ni, nilijifunza kiini cha upangaji wa utendaji.’

Akiwa Stanford, Wadler alihudhuria mikutano ya Klabu ya Kompyuta ya Homebrew. ‘Siku moja, mwenzetu alitokea akiwa na ubao mmoja ambao unaweza kuambatanisha na TV, na kinanda. Ilibadilika kuwa Apple I. Mtu ambaye alituonyesha labda alikuwa Wozniak, lakini nilizingatia kompyuta na sikumjali mtu nyuma ya mashine. Natumaini nimekuwa mwangalifu zaidi kwa watu tangu wakati huo.’

Darasa lingine lilifundishwa na Hofstadter kutoka kwa rasimu ya GEB, ambayo ilikuwa bado haijachapishwa. Kitabu hiki kilipotoka mwaka wa 1979, kurasa zake zilimtaja Wadler kwa ‘kuzungumza’ na Hofstadter. ‘I was insanely proud of that.’ Mwenzake Wadler, msanii wa picha Scott Kim, alishukuruwa katika kitabu kama ‘ushawishi mkubwa’.

Wadler alifanya kazi kama mwanafunzi wa majira ya joto huko Xerox Parc. Huko, alitekeleza kiigaji katika toleo la awali la Smalltalk, ‘ambalo lilikuwa mfumo mdogo na maridadi’. Kulikuwa na ‘majadiliano mengi ya “dynabooks”, ambayo bado hayakuwepo, lakini ndio tunayoita sasa kompyuta za mkononi’.

Huko Carnegie-Mellon, ambapo Wadler alikuwa akisoma akili ya bandia, Herbert Simon, mshindi wa tuzo ya Nobel, alikuwa msimamizi wa Wadler kwa miaka miwili ya kwanza. Hii ilisababisha mtazamo wa Wadler kwenye lugha za programu. 'Nilikuja kugundua kuwa sehemu ya AI iliyonivutia zaidi ilikuwa jinsi ya kuwakilisha habari, na nilifikiri lugha za programu zilishughulikia hilo moja kwa moja. Tena, nilikuwa na bahati sana katika watu niliofanya nao kazi, kwanza Simon na kisha Bill Scherlis, Guy Steele Mdogo, na Nico Habermann.’

PhD ya Wadler ilipatikana kutoka kwa Carnegie Mellon kwa kutumia ‘Listlessness is better than uvivu: algoriti inayobadilisha programu zinazotumika ili kuondoa orodha za kati.’ Steele na Habermann walikuwa wasimamizi wake wa tasnifu.

image
kitabu cha Hofstadter; Philip Wadler alipigwa picha na mwanawe, Adam; Ofisi za Royal Society huko London
Viwanda na taaluma
Kuanzia 1983, Wadler alikuwa mtafiti na mwanachama wa Kikundi cha Utafiti wa Programu huko Oxford, ambapo alichapisha karatasi nyingi, ‘How to replace failure by a list of successes’ zikiwa zimetajwa zaidi.

Baada ya hapo, kilikuwa Chuo Kikuu cha Glasgow, ambapo Wadler alikuwa mbunifu mkuu wa Haskell, ambayo ikawa lugha inayotumiwa sana kwa programu ya uvivu ya kufanya kazi. Alichangia ubunifu wake kuu mbili: madarasa ya aina, na Stephen Blott mwaka wa 1989, na monads na Simon Peyton Jones mwaka wa 1993. Ubunifu huu ulimsaidia kuwa mmoja wa waandishi wa sayansi ya kompyuta waliotambulika zaidi, na alipata uprofesa mwaka wa 1993. Karatasi ya monad ilishinda tuzo ya ACM kwa karatasi 2003 yenye ushawishi mkubwa zaidi.

Glasgow Haskell Compiler (GHC) ilitengenezwa Glasgow, na Peyton Jones na Simon Marlow walipewa tuzo ya programu ya ACM mwaka wa 2011 kama waundaji wake. Wadler alipokea tuzo ya utumishi mashuhuri mwaka wa 2016. Chakravarty, mtayarishaji mwenza wake wa Plutus, anaongeza: ‘Baadaye, mchango wake wa kutumia dhana ya kategoria ya monadi ili kutoa njia ya utendaji ya kushughulikia uingizaji na utoaji wa data, na upangaji wa programu muhimu kwa ujumla una athari kubwa tena. Madarasa ya aina na monadi kwa pamoja zimeamua kwa sehemu kubwa jinsi wasanifu wa programu husanifu programu katika Haskell. Dhana zote mbili zimechukuliwa na lugha nyingine.’

Kando ya msingi wa Cardano inayotekelezwa huko Haskell, Wadler anataja vipendwa vitatu kati ya programu nyingi zinazojulikana. Kwanza, Facebook hutumia maktaba ya HAXL iliyoundwa na Simon Marlow kuchuja kila ujumbe unaochapisha kwa barua taka na habari potofu. Pili, idadi ya benki zinazotumia Haskell, ambayo ushawishi wake umehimiza makampuni mengi ya kifedha kutumia lugha ya utendaji kwa njia moja au nyingine. SeL4, mfumo mdogo wa uendeshaji salama wa simu za rununu, ndio chaguo lake la mwisho. Kwa hili, mfano uliandikwa katika Haskell. Mfano huo uliunda msingi wa mfano rasmi katika msaidizi wa uthibitisho wa Isabelle na kisha utekelezaji wa uzalishaji, ambao ulitafsiriwa kutoka kwa Haskell hadi lugha ya C kwa kasi. Tafsiri ilithibitishwa dhidi ya muundo rasmi katika Isabelle.

Kutoka Glasgow, aliruka katika tasnia kwa miaka saba katika Bell Labs (Lucent Technologies) na kisha Avaya Labs; Peyton Jones alienda kwa Utafiti wa Microsoft na sasa yuko kwenye Epic Games. Bidhaa mbili kutoka wakati huu zilikuwa GJ (Generic Java) - msingi wa muundo wa Sun Microsystems - na FJ (Featherweight Java). Mwisho, kutoka 1999, ni mfano rasmi wa Java ambao unaweza kuandikwa kwenye karatasi moja. Ni mojawapo ya karatasi zilizotajwa sana za Wadler. Kama anavyosema. ‘GJ inasukuma nadharia katika vitendo; FJ huvuta mazoezi katika nadharia.’

Huko Avaya, Wadler alichapisha karatasi yake juu ya XQuery, lugha ya kuuliza XML na kuchanganya data, iwe ni hati, hifadhidata, au kurasa za wavuti, iliyotengenezwa katika Muungano wa Wavuti wa Ulimwenguni (W3C). Inawezesha programu ngumu katika lugha zingine kubadilishwa na mistari michache ya msimbo.

Kisha ikaja ofa ya Mwenyekiti wa Sayansi ya Kompyuta ya Kinadharia huko Edinburgh mwaka wa 2003. Kuchukua nafasi hiyo ilikuwa uamuzi rahisi kwa Wadler kwa sababu aliweza kuingia kwenye viatu vya mmoja wa mashujaa wake wakuu wa kisayansi, Robin Milner. (Nyingine ni Tony Hoare, mvumbuzi wa algoriti ya Quicksort). ‘Nilipopewa kiti hicho huko Edinburgh, sikuweza kukataa kwa sababu nafasi hiyo iliundwa kwanza kwa Robin Milner.’

Mwanaume aliyeweka lambda kwenye T-shirt
Knuth, McCarthy, na Cerf walikuwa wamesisitiza kwa Wadler umuhimu wa ucheshi katika karatasi na mawasilisho ya kitaaluma. Tasnifu yake ya PhD ilikuwa ‘Kutokuwa na orodha ni bora kuliko uvivu’, na mojawapo ya karatasi zake za kwanza zilizochapishwa ilikuwa ‘Jinsi ya kuchukua nafasi ya kushindwa kwa orodha ya mafanikio’. ‘Baada ya hapo,’ anasema, ‘hakukuwa na kurudi nyuma’. Anafurahia vyeo vyake vya karatasi kuonyeshwa katika kitabu cha kiada cha Helen Sword Stylish Academic Writing.

Watu ambao wamehudhuria mihadhara ya Wadler watakuwa wamemwona akibadilika na kuwa Lambda Man, shujaa aliyevaa mavazi. Lambda calculus - λ-calculus - ni mfumo rasmi katika mantiki ya hisabati ambayo ni ya msingi kwa Haskell. Mabadiliko ya shujaa wa hali ya juu yalianza Wadler alipoanza kuongeza mihadhara kwenye mikutano ya kitaaluma kwa kuchora fomula kwenye T-shirt na kisha ‘kuvua shati langu la nje ili kufichua fomula’. Ana shati maalum na snaps badala ya vifungo kwa hili. ‘T-shirt moja ilionyesha maelezo ya kategoria ya mantiki ya mstari kutokana na RAG Seely - ambaye alikubali kwa fadhili kupiga picha na huyo kama “Mwanamitindo wa Seely”.’

Katika mkutano tofauti, akiwa ameketi kwenye baa, mwenzake alifanya mlinganisho kati ya antics ya Wadler na Superman; na ‘balbu ilizimika. Niliagiza usanifu wa lambda, ambao ulitengenezwa na Matija na Mojca Pretnar, na nikauchapisha kwenye sehemu ya mbele ya vazi la Superman nililonunua.’

Mapitio ya rika hufanya IOG ‘ya kipekee’
Wadler alianza kufanya kazi kwa Pato la Pembejeo miaka sita iliyopita baada ya kukutana na Charles Hoskinson, mtendaji mkuu na mwanzilishi mwenza wa Input Output Global (IOG). Hoskinson alikuwa akimtembelea Profesa Aggelos Kiayias, mwanasayansi mkuu wa kampuni hiyo na mwanzilishi wa Maabara ya Teknolojia ya Blockchain huko Edinburgh. ‘Charles aliomba kukutana nami. Nilikuwa nimetoka tu kukutana na Wanda, aliyeishi Rio de Janeiro na hatimaye angekuwa mke wangu. Kwa kutazamia gharama za safari nyingi za ndege hadi Brazili, nilimwomba Charles anipe kazi ya ushauri. Ilikuwa ya ujasiri kwangu, lakini ilikuwa mojawapo ya chaguo bora zaidi nilichopata kufanya!’

Maoni yao ya pamoja juu ya umuhimu wa taaluma kwa tasnia yalionekana wazi mara moja. 'Ninachofurahia zaidi kuhusu Charles ni msisitizo kwamba kila kitu ambacho IOG hufanya kinapaswa kutegemea utafiti uliopitiwa na marika. Anavyoonyesha, huo ndio msingi wa sayansi.’

IOG inafadhili maabara ya Edinburgh na vitovu vya utafiti katika vyuo vikuu vingine kadhaa, mkakati ambao si wa kawaida miongoni mwa makampuni ya teknolojia. Hata hivyo, Wadler anahisi kwamba IOG imeenda mbali zaidi: ‘Pamoja na itifaki tata za kriptografia, utafiti uliopitiwa na rika ndiyo njia bora ya kuhakikisha kuwa ni sahihi. Walakini, niwezavyo kusema, IOG ni ya kipekee katika msisitizo huu. Sio tu kwa crypto, lakini kwa kompyuta zote. Google au Microsoft itaruhusu watengenezaji wao kuchapisha, lakini hawaoni kuwa ni hatua muhimu kuelekea kutegemewa.’

Wadler amechangia katika kufunika karatasi za IOG: UTXO iliyopanuliwa, kielelezo cha leja kinachotumiwa na Cardano; Mfumo F, kipengele muhimu katika msingi wa kinadharia wa lugha kama vile Haskell na ML; na mikataba ya blockchain.

Mbinu fupi na ya kifahari ya Wadler, kama inavyoonekana katika karatasi ya Java ya Featherweight, ilitoka tena wakati Plutus ilitangazwa mwaka wa 2018. Katika tukio la PlutusFest huko Edinburgh, timu ilitoa napkins za karatasi nyeusi ambayo vipimo vya lugha kwa Plutus vilichapishwa kwa wino wa dhahabu. Ilikuwa ni wazo lililotajwa kwanza na Hoskinson lakini, kama Chakravarty anaongeza, 'Hii inarudi kwa Phil kuwa mtu ambaye alisisitiza tangu mwanzo kuweka Plutus Core kuwa ndogo iwezekanavyo. Baadaye, Charles alitoa maelezo ya leso, lakini Phil alikimbia na wazo hilo na hivyo ndivyo tulivyomaliza na napkins za Edinburgh.’

Urahisi, usalama na usalama ndio msingi wa Plutus, yote yanawezekana kwa utendakazi wa programu na Haskell.

image
image1920×1440 181 KB

Uthibitisho kwamba semantiki za msingi za Plutus zinafaa kwenye kitambaa
Nguvu ya hisabati
Mtiririko unaopitia kazi ya Wadler ndio thamani ya hisabati. ‘Watu wengi wanaogopa hisabati,’ asema, kwa sababu ‘wanafikiri ni ngumu sana kwao. Wasanidi programu ngumu ambao wanafaa kutumia Javascript watakimbia wakipiga kelele kutoka kwenye chumba ikiwa wataona kitu kwenye slaidi iliyoandikwa kwa italiki, kwa sababu inaonekana kama hisabati rasmi.’

Walakini, hisabati ni zana yenye nguvu sana katika kuelewa ulimwengu unaotuzunguka, na imetumika kama hivyo kwa milenia. Kila kizazi kimekabidhi matokeo yake kwa kijacho. Mojawapo ya nukuu anazozipenda sana Wadler ni mwandishi wa polymath wa Uskoti John Arbuthnot kutoka kitabu chake cha Of the Laws of Chance mnamo 1692:

Kuna mambo machache sana ambayo tunajua, ambayo hayana uwezo wa kupunguzwa kwa Hoja ya Kihisabati; na wakati hawawezi ni ishara ujuzi wetu juu yao ni mdogo sana na kuchanganyikiwa; na wakati Hoja ya Kihisabati inaweza kupatikana ni upumbavu mkubwa kutumia nyingine yoyote, kama kupapasa-papasa kwa kitu gizani, wakati una mshumaa umesimama karibu nawe.

Mlolongo huu wa ufahamu ni jambo ambalo anasisitiza kwa wenzake wadogo. ‘Kazi unayofanya ni muhimu tu ikiwa inawatia moyo wengine kufanya kazi bora zaidi. Ninajivunia karatasi nilizoandika, na ninajivunia karatasi zilizoandikwa na wengine zinazojenga kazi yangu.’

Tena, anasisitiza urahisi. 'Mchanganyiko ni umuhimu wa urahisi. Inabidi uwasilishe kazi kwa njia ambayo wengine wanaweza kuichukua na kuijenga. Wenzangu wengi sana wana akili sana! Wao ni wajanja vya kutosha kushughulikia utata mwingi, lakini hiyo inafanya kile wanachofanya kuwa ngumu kunyonya. Tafadhali andika kwa kulenga maneno rahisi kama mimi. Muhimu kama vile ugunduzi wa awali ulivyo jitihada za kurahisisha na kung’arisha.’

Kitabu kikubwa zaidi cha autograph duniani
Mnamo Julai 14, Wadler atakuwa Carlton House Terrace huko London. Huko, kama mmoja wa watafiti 80 bora, wavumbuzi, na wawasilianaji, ataingizwa kama mshirika wa Jumuiya ya Kifalme. Mwili huu uliojifunza ulianza 1660 - Christopher Wren na Robert Boyle walikuwa kati ya waanzilishi. Jengo hilo linaangalia Mall, njia kuu ya maandamano ambayo inaunganisha Trafalgar Square na Buckingham Palace. Charles II, aliyejenga The Mall, alitoa ufadhili wake kwa Jumuiya, kama vile kila mfalme amefanya tangu wakati huo. Mfalme Charles III amekuwa Mshirika wa kifalme tangu 1978.

Wadler atatia saini jina lake katika daftari linaloanza na saini ya Charles II na lina majina angavu zaidi katika historia ya kisayansi. Wenzake wa sasa na wa awali ni pamoja na Charles Babbage, ambaye Difference Engine ilikuwa kifaa cha kwanza cha kompyuta ya dijiti; mwanzilishi wa AI na shujaa wa kuvunja kanuni wakati wa vita Alan Turing; Hoare; Milner; Berners-Lee; David Deutsch, baba wa quantum computing; Sophie Wilson, mbunifu mwenza wa BBC Micro ambaye alisaidia kuendeleza usanifu wa chipu wa ARM ambao huwezesha simu mahiri duniani; na Peyton Jones. Knuth na Cerf ni wanachama wa kigeni.

Wenzake wawili wa mapema walikuwa Isaac Newton na Robert Hooke. Newton anajulikana zaidi kwa nadharia yake kuhusu sheria ya uvutano, na Principia Mathematica yake yenye sheria zake tatu za mwendo iliathiri sana Mwangaza katika Ulaya. Hooke aligundua vijidudu na akabuni neno ‘seli’, ingawa huenda anajulikana zaidi na vizazi vya watoto wa shule kwa ajili ya Sheria ya Hooke, ambayo inafafanua athari za nguvu kwenye chemchemi ya chuma. Mnamo 1675, hizi mbili zililingana kwa barua. ‘Ikiwa nimeona zaidi,’ Newton akaandika, ‘ni kwa kusimama juu ya mabega ya majitu.’ Baada ya Julai 14, jina la Wadler litakaa pamoja na sahihi za majitu hayo, naye atakuwa akingojea mbele fursa ambazo ushirika wake hufungua.

Kielelezo cha Lambda Man na Jonathan Smith

Pata maelezo zaidi