Racket, lenivé vyhodnocovanie, makrá

Question 1

Opis racket ako jazyk

Answer 1

funkcionálny jazyk, vychádzajúci z jazyka Scheme
lambdafunkcie,uzávery,…
ale má aj imperatívne vlastnosti
* meniteľné premenné
* funkcie s vedľajšími efektami

Question 2

Aky dynamicky typovy system pouziva?

Answer 2

dynamický
* počas kompilácie sa nerobí statická typová kontrola
* kompilátor akceptuje viac programov, ale chyba nastane pri behu

Question 3

Ake vyhodnocovanie argumentov ma racket?

Answer 3

striktné

Question 4

Cim musi zacinat racket program?

Answer 4

lang racket ;aby sa zvolil správny jazyk

Question 5

Z coho pozostava racket program?

Answer 5

z termov.
Term je:
* atóm – napríklad #t, #f, 1, 2.0, null, “hello”, x, . . .
* špeciálna forma – napríklad define, lambda, if (podla makier)
* postupnosť – niekoľko termov oddelených medzerou vzátvorkách (t1 t2 … tn)

Question 6

Co je (t1 t2 … tn)?

Answer 6

• ak t1 je špeciálna forma, tak sémantika postupnosti je špeciálna
• inak ide o volanie funkcie t1 s argumentami t2, . . . , tn

Question 7

Ako definujeme premenne?

Answer 7

(define x 42) – priradí 42 do premennej x
(define x (+ (* 4 10) 2)) – volanie funkcie, vždy v prefixovom plne uzátvorkovanom tvare (f a1 a2 . . . an)

Question 8

Ako vieme definovat funkciu?

Answer 8

(define cube (lambda (x) (* x x x)))
(define (cube x) (* x x x)) – syntaktický cukor

Question 9

Kolko argumentove funkcie ma racket?

Answer 9

viac, nie je ako haskell
ale aj s premenlivym poctom

Question 10

Aké výhody prináša totálne zátvorkovanie?

Answer 10

konverzia zdrojového kódu do abstraktného syntaktického stromu je triviálna (parsovanie)
netreba riešiť prioritu operátorov
rozdelenie do riadkov a odsadenie je voliteľné a ľahko
automatizovateľné

Question 11

Aky je problem so zatvorkami?

Answer 11

(* (+ 1 2) (- 3 1)) 6
(* ((+ 1 2)) (- 3 1)) application: not a procedure
(* ((+) 1 2) (- 3 1)) application: not a procedure
bez statickej typovej kontroly sa chýbajúce/nadbytočné zátvorky prejavia až za behu

Question 12

Aku syntax ma if?

Answer 12

(if podmienka true-výraz false-výraz)

Question 13

Aku syntax ma cond?

Answer 13

slide 10

Question 14

Co ak nezakoncime cond else alebo #t?

Answer 14

v tom prípade ale môže cond vrátiť #<void>
prítomnosť #<void> sa dá testovať pomocou void?</void></void>

Question 15

Porovnaj zoznamy v haskelli a v rackete

Answer 15

slide 12

Question 16

Co pouzivame na head/tail? Preco take nazvy?

Answer 16

car – “Contents of the Address part of Register”
cdr – “Cont. of the Decrement part of Reg.” (čítaj “could-er”)

Question 17

co je zoznam vlastne?

Answer 17

iba vlastne špeciálny prípad vnorených dvojíc konciacich null

Question 18

Aka je vyhoda a nevyhoda dynamickej kontroly typov?

Answer 18

nedokáže pri kompilácii odhaliť všetky chyby
ale umožňuje vytvárať flexibilnejšie DŠ a programy
napr sum listu aj s ne-int prvkami, ktore berie default ako 0, slide 18

Question 19

Co robi let?

Answer 19

vyhodnocuje priradenia vo vonkajšom kontexte, nezahŕňajúc aktuálne definované premenné
nemôžeme sa odvolávať na neskôr definované premenné

Question 20

co robi let*?

Answer 20

pracuje rovnako ako let ale po definovaní lokálnej premennej je viditeľná aj v nasledujúcich definíciách v let*
taktiež sa nemôžeme odvolávať na neskôr definované premenné

Question 21

Co je vhodne na vymenu premennych?

Answer 21

(let ([x y] [y x]) (list x y)) lebo
(let* ([x y] [y x]) (list x y)) -> (y,y)

Question 22

Na co je letrec?

Answer 22

pracuje rovnako ako let ale môžeme sa odvolávať aj na neskoršie definované premenné (nemôžeme použiť ich obsah)
nemôžeme opakovane definovať tú istú premennú:
vôbec nie je vhodný na výmenu premenných

Question 23

Opis menitelne premenne so set!

Answer 23

slide 22

Question 24

Co su mcons?

Answer 24

meniteľné páry
set-car! a set-cdr!
mcons, mcar, mcdr, mpair?, set-mcar! a set-mcdr!
car,… (vrátane length atď.) sa nedajú použiť na mcons-bunku

Question 25

Ake vyhodnocovanie ma racket?

Answer 25

striktne

Question 26

Kedy sa v rackete vyhodnocuju vetvy v if?

Answer 26

až podľa podmienky

Question 27

Co je thunk? Naco je dobry?

Answer 27

funkcie nevyhodnocujú svoje telo až do zavolania
(lambda () e) je thunk pre e
thunk sa ako argument nevyhodnocuje, už je hodnotou

Question 28

Zhrn thunks

Answer 28

slide 26
((lambda () (+ 1 2))) sa vyhodnotí na 3
(lambda () (+ 1 2)) ale nie

Question 29

Co robi begin?

Answer 29

vyhodnotí postupne všetky svoje argumenty (zľava doprava) a vráti hodnotu posledného

Question 30

Na co je lazy eval?

Answer 30

Ak drahý výpočet nemá vedľajšie efekty, tak by sme chceli:
* nepočítať ho pokiaľ ho nebude treba,
* výsledok odložiť pre ďalšie použitia.

Question 31

Pomocou coho vieme lazy eval implementovat v rackete?

Answer 31

Thunks a mcons

Question 32

Opis lazy eval na slide 29

Answer 32

slide 29

Question 33

Co to su makra?

Answer 33

popisuje ako transformovať novú syntax do syntaxe v pôvodnom jazyku - vlastny syntakticky cukor

Question 34

Co je to makro system?

Answer 34

jazyk pre definíciu makier
* môže to byť podjazyk iného väčšieho jazyka
* môže byť s ním úzko prepojený (tokenizácia, scoping)

Question 35

Co je to rozbalenie makier (macro expansion)?

Answer 35

prepísanie každého použitia makra do syntaxe pôvodného jazyka predtým než sa program vôbec začne kompilovať

Question 36

daj priklady na makra

Answer 36

slide 31

Question 37

Co je problem s tokenizaciou pri makrach?

Answer 37

tokenization – chceme, aby makrá nepracovali na znakoch ale tokenoch, aby sme sa vyhli falošnej detekcii použitia makra
napríklad: nech sa makro head rozbalí na car, ale nie head-less na car-less

Question 38

Co je problem s makrami v C++?

Answer 38

slide 32

Question 39

Ako sa v C++ popasovali s problemom makier?

Answer 39

názvy makier sú iba z veľkých písmen, ostatné názvy (premenných, funkcií, . . . ) obsahujú aj malé písmeno

Question 40

Definuj syntax makier v rackete

Answer 40

slide 34

Question 41

Aky je problem pri definicii makier dalsi?

Answer 41

slide 35

Question 42

Ako vieme vyriesit duplicitne volanie?

Answer 42

pomocou lokalnych premennych
slide 36

Question 43

Opis dalsie problemy s makrami v rackete

Answer 43

slides 36 az koniec toto si pozri…