Lisp

Lisp
ParadigmFunktionell
Gavs ut1960
Skapat avJohn McCarthy
DatatypsdisciplinStark, dynamisk
DialekterCommon Lisp, Emacs Lisp (skriptningsspråk för Emacs), AutoLISP (skriptningsspråk för AutoCad), Clojure och Scheme


Lisp, förkortning av "LISt Processing", är ett funktionellt programspråk skapat av John McCarthy 1958. Det är det näst äldsta programspråket fortfarande i allmänt bruk, bara Fortran är äldre. Liksom Fortran har det ändrats mycket sedan den första versionen. På grund av de många varianter och dialekter av Lisp som skapats sedan dess, är det kanske riktigare att säga att Lisp inte är ett språk, utan en grupp av besläktade språk. Kända dialekter är Common Lisp, Emacs Lisp (skriptningsspråk för Emacs), AutoLISP (skriptningsspråk för AutoCad), Clojure och Scheme.

Historia

McCarthy publicerade en beskrivning av sitt språk i en artikel i magasinet 'Communications of the ACM' 1960. Han visade där att man utgående från ett fåtal enkla operationer och en notation för funktioner, kunde bygga upp ett helt programspråk. Språkets grund ligger i Lambdakalkyl. Den första implementationen av Lisp gjordes för datorn IBM 704, och två av denna maskins maskininstruktioner gav namn åt två grundläggande operationer i Lisp för att manipulera listor: car (Contents of Address Register) och cdr (Contents of Decrement Register). De flesta dialekter av Lisp använder fortfarande dessa namn för de operationer som ger första elementet i en lista respektive resten av elementen i en lista.

Under 1980-talet och 1990-talet gjordes flera försök att förena de många dialekterna och skapa en enhetlig standard av språket. Common Lisp var huvudsakligen ett sammanförande av många varianter, och 1994 publicerade ANSI standarden "ANSI X3.226-1994 Information Technology Programming Language Common Lisp."

Syntax

Syntaxen för Lisp karakteriseras av en extrem enkelhet med en minimal uppsättning språkliga konstruktioner. Till skillnad från de flesta andra programspråk skiljer man inte mellan uttryck och instruktioner. All kod och alla data skrivs som speciella uttryck ("S-expressions", förkortat "s-exprs") och alla värden i språket är antingen ett primitivt värde eller en lista av värden eller andra listor. Skriven Lisp-kod består därför av ett stort antal parenteser, som inleder och avslutar varje lista. Namnet Lisp har skämtsamt tolkats som "Lots of Irritating Superfluous Parentheses".

Språkets teoretiska grundvalar och den flytande gränsen mellan Lispkod och de data som koden hanterar, gjorde språket populärt inom artificiell intelligens (AI).

Avigsidorna med språket var att en stor mängd mellanresultat genererades vid tolkningen av koden, vilket tog upp mycket minne och krävde speciell skräpsamling ("garbage collection") för att rensas bort. Detta var ett stort problem för dåtidens datorer där minne var en bristvara. För att råda bot på detta, har flera försök gjorts att skapa speciell hårdvara, Lisp-maskiner, för att köra Lispprogram.

Programexempel

Hello, world!

; LISP - definierar en funktion som skriver "Hello World"
(defun hello_world ()
  (print (list 'Hello 'World)))

(Common LISP), skriver "Hello World!"

(format t "Hello world!~%")

(Scheme), skriver "Hello, world!"

(display "Hello, world!")
(newline)

Rekursion

Rekursion är en mycket vanlig programmeringsstil i Lisp, som föredras framför iteration. Det naiva Lispprogrammet nedan räknar längden av en lista med hjälp av rekursion: om listan är tom är längden 0, om listan har element är listans längd = 1 + längden av listan utan första elementet, dvs resten av listan:

(defun length (lst)
  (if (endp lst)
      0
      (+ 1 (length (rest lst)))))

Ett problem är att programmet kräver ett returstackdjup som är proportionellt mot listans längd; detta kan spränga stacken om listan är alltför lång. Om programmet skrivs om med hjälp av svansrekursion krävs endast en stack med konstant djup. Detta gäller för Lisp-dialekten Scheme och görs vid kompilering av de flesta Lispsystemen:

(defun length (lst)
  (labels ((length-aux (lst count)
              (if (endp lst)
                  count
                 (length-aux (rest lst) (+ count 1)))))
     (length-aux lst 0)))

Båda ovanstående kodexempel är skrivna i Lisp-dialekten Common Lisp.

Litteratur

Haraldsson, Anders, Programmering i Lisp, Studentlitteratur, 1993

Se även

Externa länkar

Media som används på denna webbplats

Lisplogo.png
Författare/Upphovsman: Lisp, Licens: CC BY-SA 4.0
The Lisp logo from https://common-lisp.net/