Meditacija o Lispu, programih in življenju

Simon@hekovnik.si

Lisp?

Srečno naključje

Lisp kot univerzalna funkcija

7 aksiomov

(quote x)(atom x)(eq x y)(car x)(cdr x)(cons x y)(cond (p1 e1) (p2 e2) ... (pn en))

Funkcije

Denotacija(lambda (p1 p2 ... pn) e)

Klic((lambda (p1 p2 ... pn) e) a1 a2 ... an)

Rekurzija Y-kombinator (lambda račun)

Metakrožni interpretator

Homoikoničnost

Koda = podatkiDrevo abstraktne sintakse

Makri

Program

ki piše program,ki piše program,ki piše program,ki piše program,

ki piše program,ki piše program,

ki piše program,

...

Programi vse do dna

Vstopanje v prevajalno okolje

ParserKontekstualna preoblikovanja Mini jeziki

Vsakdo si razvije svoj Lisp

Parser

Nova sintaksa#P”/home/simon/foo.bar” => #S(pathname :directory “/home/simon” :name “foo” :type "bar")

Kontekstualna preoblikovanja

Preoblikovanja kode glede na raboSuperprevajalnikiSuperoptimizatorji

(mapcar #’square (mapcar #’+ xs ys)=>(mapcar (lambda (x y) (square (+ x y))) xs ys)

Mini jeziki

Kontrolne strukutureRed vrednotenjaGeneriranje kodeSintaksa

Meje mojega jezika pomenijo meje mojega sveta.

– Wittgenstein

Svoboda misli

Funkcijsko programiranjeObjektno programiranjeLogično programiranjeImperativno programiranjeDeklerativno programiranjeAspektno programiranje

Ko pisanje prevajalnikov postane nekaj vsakdanjega

O življenju

Vsak program je utelešen

MejaMera

Meja

Jaz in drugiPlaniranje v nedeterminističnem okoljuIzmenjavanje določljivega in nedoločljivega

Zmagam lahko le, če prej ne zgubim

Program pred ogledalom

Samo-reprezentacijaMetakrožen interpretator

Dostop do prevajalnega okoljaDostop do izvajalnega okolja

RefleksijaIntrospekcija

Mera

Človek je merilo vsega . – Protagora

Ozemljitev pomenaPomen je uporabaReferenčna točka

Samozavedanje?

Genealogija Lispa

Common LispSchemeClojureEmacs Lisp

Razvojna okolja

EmacsLispWorksAllegro CLEclipse + Cusp