W zeszle wakacje, sprowokowany przez firra i Edka, opowiedzialem nieco
o swoich doswiadczeniach z jezykiem Scheme i programowaniem funkcyjnym.
Poniewaz moje objasnienia spotkaly sie z dosc cieplym przyjeciem,
postanowilem tym razem opowiedziec co nieco o higienicznych makrach
w jezyku Scheme.

Struktura tekstu jest nastepujaca. W rozdziale pierwszym omawiam podstawowe
wyrazenia z jezyka Scheme, a nastepnie w rozdziale drugim opisuje potrzebe
zdefiniowania kilku nowych form specjalnych, oraz ogolna uzytecznosc mozliwosci
definiowania tych form.

W rozdziale trzecim omawiam system makr w stylu Common Lispa (define-macro)
i implementuje w nim wprowadzone we wczesniejszym rozdziale przyklady.

W rozdziale czwartym zamierzam omowic system makr higienicznych R5RS
(syntax-rules) opracowany przez Kenta Dybviga i zaimplementowac w nim
wczesniej zaimplementowane formy, wskazujac na wady i zalety tego systemu.

W rozdziale piatym chcialym podac rozne sposoby obchodzenia ograniczen
systemu syntax-rules, mianowicie (1) ogolniejszy system makr "syntax-case",
(2) zaproponowana przez Olega Kiselyova implementacje maszyny abstrakcyjnej
CK oraz (3) makra pisane "w stylu przekazywania kontynuacji" (continuation
-passing-style)

W rozdziale szostym chcialbym opowiedziec o kilku zastosowaniach makr, ktore
w innym przypadku bylyby trudne do uzyskania. W szczegolnosci zamierzam
zaprezentowac pattern-matcher Wrighta-Shinna.

Na poczatek przesylam pierwsze 3 rozdzialy, a to z dwoch powodow. Po pierwsze
dlatego, ze sa to jedyne rozdzialy, jakie do tej pory napisalem, a po drugie
tekst juz w tym momencie jest znacznie dluzszy, niz pierwotnie planowalem.

Kazdy rozdzial bede wysylal w osobnym poscie. Ponizej zalaczam spis tresci
odnoszacy sie do tego, co napisalem do tej pory:

1. JEZYK SCHEME -- KROTKIE OMOWIENIE
1.1 EWALUACJA WYRAZEN
1.2 FORMY SPECJALNE
1.2.1 FORMA "quote"
1.2.2 FORMA "lambda"
1.2.3 FORMA "define"
1.2.4 FORMA "if"
1.2.5 FORMA "set!"
1.2.6 FORMA "begin"
1.3 FUNKCJE WBUDOWANE
1.3.1 FUNKCJA "apply"
1.3.2 FUNKCJE "values" i "call-with-values"
1.3.3 FUNKCJE "cons", "car" i "cdr"
1.3.4 PREDYKATY POROWNUJACE: "=", "<", "<=", ">", ">=", "eq?"
1.3.5 UWAGI O FUNKCJI "call-with-current-continuation" ("call/cc")

2. POTRZEBA NOWYCH FORM SPECJALNYCH
2.1 UWAGI WSTEPNE
2.2 ZMIENNE LOKALNE -- FORMA "let"
2.3 LOGICZNE SPOJNIKI "and" i "or"
2.4 FORMA SPECJALNA "cond"
2.5 PETLA "while" ORAZ FUNKCJA "call/cc"
2.6 INNE FORMY SPECJALNE

3. MAKRA PROCEDURALNE (define-macro)
3.1 DEFINICJA FORMY "let"
3.1.1 PRELIMINARIA -- ZWYKLA FUNKCJA TRANSFORMUJACA LISTE
3.1.1.1 DEKONSTRUKCJA LISTY WEJSCIOWEJ
3.1.1.2 KONSTRUKCJA FORMY WYJSCIOWEJ
3.1.2 DEFINICJA MAKRA
3.1.2.1 SPECJALNA SKLADNIA DO BUDOWANIA LIST -- FORMA "quasiquote"
3.2 DEFINICJA SPOJNIKOW LOGICZNYCH "or" i "and"
3.3 DEFINICJA FORMY "cond"
3.4 DEFINICJA FORMY "while"

Tekst jest sformatowany zgodnie z wytycznymi trybu ORG dla emacsa.
Fragmenty kodu/ewaluacji rozpoczynam ciagiem znakow ": ", poniewaz
niektore programy usuwaja biale znaki na poczatku linii podczas wyswietlania.
Symbol "===>" nalezy czytac jako "ewaluuje sie do".

Po ukonczeniu wszystkich rozdzialow wrzuce linke do PDFa. Jezeli ktos
bylby zainteresowany, moge tez gdzies wrzucic wygenerowanego PDFa z tym,
co napisalem do tej pory.

Bede wdzieczny za wszelkie pytania, uwagi i komentarze.