Mis tegi Lispi eriliseks

«Kõige suurem kunagi loodud programmeerimiskeel«
— Alan Kay, «Lispist»

Kui McCarthy lõi Lismi 1950ndate lõpus, erines see radikaalselt olemasolevatest keeltest, millest kõige tähtsam oli Fortran.

Lisp realiseeris üheksa uut ideed:

1. Tingimuslause (Conditionals). Tingimuslause on if-then-else konstruktsioon. Tänapäeval võtame neid iseenesestmõistetavalt. Need olid leiutatud McCarthy poolt Lismi arendamise ajal. (Fortranil oli sel ajal ainult goto-lauseid, mis olid tihedalt seotud alusraadiote juhistega.) McCarthy, olles Algoli komitees, tõi tingimuslauseid Algolisse, kust need levisid teistesse keeltesse.

2. Funktsionaalne tüüp (A function type). Lismis on funktsioonid esmaklassilised objektid — need on andmetüüp, nagu arvud, stringid jne, ja neil on sõnasõnaline esitamine, neid saab salvestada muutujaidena, neid saab edastada argumentidena jne.

3. Rekursioon (Recursion). Rekursioon eksisteeris muidugi matemaatilise kontseptioonina enne Lispi, kuid Lisp oli esimene programmeerimiskeel, mis seda toetas. (See on võimaliku viidatud funktsioonide loomisele esmaklassiliste objektidena.)

4. Uute muutujate kontseptsioon. Lispis on kõik muutujad efektiivsed näidikud. Väärtused on see, mis kuulub tüüpidele, mitte muutujatele, ja muutujate seadmine või sidumine tähendab näidikute kopeerimist, mitte seda, millele nad viitavad.

5. Rämpsu kogumine.

6. Programmid koosnevad avaldistest. Lispis olevad programmid on avaldise puud, millest igaüks tagastab väärtuse. (Mõned Lisi avaldused võivad tagastada mitu väärtust.) See eristub Fortranist ja paljusid teisi edukaid keeli, mis eristavad "avaldisi" ja "väiteid".

Fortranis oli loomulik omada sellist eristust, kuna keel oli lineaarsele orienteeritud (mis pole üllatav, arvestades, et sisendiks oli perforatsioonikaart). Te ei saanud omada pesadud väiteid. Ja kuigi matemaatilised avaldised olid sinu käes vajalikud, ei olnud mõtet sundida midagi muud väärtust tagastama, kuna ei olnud midagi, mis ootaks tagastamist.

Piirangud kadusid koos plokk-struktuursete keelte tulekuga, kuid selleks ajaks oli juba liiga hilja. Erinevus väljendite ja väidete vahel oli juba kindlalt juurdunud. See liikus Fortranilt Algolile ja edasi nende järeltulijatele.

Kui keel koosneb täielikult väljenditest, saate koostada väljendeid meelepäraselt. Saate kirjutada kas (kasutades süntaksit Arc)

(if foo (= x 1) (= x 2))

või

(= x (if foo 1 2))

7. Sümbolitüüp (A symbol type). Sümbolid erinevad stringidest, sel juhul saate võrrelda nende võrdlust, võrreldes osutajaid.

8. Koodinotaatsioon (A notation for code) kasutades sümbolite puid.

9. Kogu keel on alati saadaval (The whole language always available). Ei ole selget erinevust lugemise aja, kompileerimise ja täitmise vahel. Saate koodi kompileerida või käivitada lugemise ajal, või lugeda või käivitada koodi, samal ajal kompileerides, või lugeda või kompileerida koodi täitmise ajal.

Koodi käivitamine lugemise ajal võimaldab kasutajatel Lisp'i süntaksit uuesti programmeerida; koodi käivitamine kompileerimise ajal on makrode aluseks; käitamisel kompileerimine on Lisp'i kasutamise aluseks, laienduste keeleks sellistes programmides nagu Emacs; ja lõpuks, lugemine käitamise ajal võimaldab programmidevahelist suhtlust, kasutades s-väljendeid, idee, mis on hiljuti uuesti leiutatud XML-is.

Kokkuvõte

Kui Lisp ainult leiutati, olid kõik need ideed kaugel tavalistest programmeerimistavadest, mida dikteeris 1950. aastate lõpupoolte saadaval olnud riistvara.

Aja jooksul on vaikimisi keel, mis on ellu viidud populaarsete keeltega, järk-järgult arenenud Lisp'i suunas. Punktid 1-5 on nüüd laialdaselt levinud. Punkt 6 hakkab ilmnema peavoolus. Python'is on mingil moel punkt 7, kuigi sobivat süntaksit ei ole. Punkt 8, mis (koos punktiga 9) võimaldab Lisp'is makrosid, on endiselt olemas ainult Lisp'is, võib-olla seetõttu, et (a) see nõuab neid sulgusid või midagi sama halba, ja (b) kui te lisate selle viimase võimsuse suurenemise, siis ei saa te enam väita, et olete leiutanud uue keele, vaid olete lihtsalt välja töötanud uue Lisp'i dialekti; -)

Kuigi see on kasulik tänapäeva programmeerijatele, on kummaline kirjeldada Lisp'i selle erinevuste kaudu juhuslikest tehnikatest, mis on kasutusele võetud teistes keeltes. Võib-olla ei olnud see see, millest McCarthy mõtles. Lisp ei olnud projekteeritud Fortrani vigade parandamiseks; see tekkis pigem kõrvalproduktina katsetest aktsioomide koondamiseks.

Allikas: habr.com