Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
6
bitywspecjalnymrejestrzeprocesora.Sąrównieżinstrukcjedozapisywaniawyni-
kówwpostacibajtówdopamięci.Wprogramiemogąwystępowaćjeszczeinstrukcje
kontrolne(tzw.skoki),którewzależnościodstanuflagalbobiorądowykonaniana-
stępnąinstrukcjęwprogramiealbopowodująskok(poprzezodwołaniedoetykiety)
dopewnegomiejscawprogramie,odktóregowykonaniejestkontynuowane.
Wydawałobysię,żewPodstawachInformatykijestwszystkojasne.Takjestdla
obliczeńnaprostychtypach,którychugruntowaniejestwbajtachiprostychopera-
cjachdoichprzetwarzania.
Czymsąobliczenianaobiektachwyższychrzędów,np.funkcjach,funkcjonałach
czyrelacjach?Sąonewtedytraktowanejakoobiektyimogąbyćargumentamijeszcze
wyższychfunkcjiirelacji.Niejesttotylkoproblemteoretyczny.Informatycyużywają
takichpojęćwpraktyceprogramowaniawjęzykachfunkcyjnych(np.Haskell,Coq
CoIC),wprogramowaniustrukturalnym,czywtzw.genericprograming.
JakijestwspółczesnyparadygmatwInformatyce?
Jeślichodzioarchitekturękomputeraijęzykiprogramowania,towedługJohna
turąkomputerawedługvonNeumannaajęzykamiprogramowania.Językiprogramo-
waniasąabstrakcyjną(nawyższympoziomie)kopiąkomputeravonNeumanna.Są
odbiciemtejarchitektury.Jesttotzw.błędnekołovonNeumanna(ang.vonNeumann
viciouscircle),pojęciewprowadzoneprzezBackusa.Nowaarchitekturakomputeranie
możepowstać,boniemakoncepcyjnychpodstawwpostacizupełnienowegojęzyka
programowania,iodwrotnie.ZarównosamaarchitekturavonNeumanna,jakiod-
powiadająceimjęzykiprogramowania,dotycząprzetwarzaniabajtów.Wjęzykach
programowania,wszystkietypypierwotnezkoniecznościmająswojeugruntowaniew
ustalonejskończonejbajtowejreprezentacji.
Wprogramowaniunaobiektachwyższychrzędów,np.wjęzykachfunkcyjnych,ten
paradygmatsprowadzasiędotzw.“leniwejewaluacji”(ang.lazyevaluation),czylido
symbolicznegoprzetwarzaniatermów(nazw)odnoszącychsięodtychobiektów,tylko
wtedykiedytrzebawyliczyćkonkretnąbajtowąwartość.
Czymożnaprzełamaćtenparadygmat?
PatrzącnatoznówzperspektywyNeurobiologii,umysłludzkiniejestzbudowa-
nywedługarchitekturyvonNeumanna.Pamięćjestrealizowanapoprzeztworzeniei
wzmacnianiepołączeńpomiędzyneuronami,zaśobliczeniawyższegorzęduniesąwy-
konywanesymboliczniealepoprzezdynamicznetworzenieire-konfiguracjępołączeń
pomiędzyneuronami.Jesttojużwdużejmierzepotwierdzonedoświadczalnie,patrz
sywania)sąjaknajbardziejdokonywanewmózguczłowieka,alejesttowykonywane
naniskimpoziomiewstosunkudooperowaniaobiektamiwyższychrzędów.
Wydajesię,żetedwaparadygmaty(jedenzMatematykiadrugizInformatyki)
sątożsame,awięcdotycząpojęćistrukturwyższegorzędu,takichjakfunkcjona-
łyirelacje.Paradygmatytestwierdzająimplicite,żetestrukturywyższegorzędu
sąstrukturamisymbolicznymi,naktóreskładająsięnazwy(jakoskończoneciągi
symboli)orazskładnia,czyliregułytworzenianowychpoprawnychnazw(termów),i
41977ACMTuringAwardlecture“CanProgrammingBeLiberatedfromthevonNeumannSty-
le?”
