Haskell vs. Racket, statická vs. dynamická kontrola, eval

Question 1

(eq? v1 v2) vracia #t ak

Answer 1

v1 a v2 odkazujú na ten istý objekt,
inak vracia #f.
(eq? “Ahoj” “Ahoj”) #t
(eq? “ab” (string-append “a” “b”)) #f
(eq? (cons 1 2) (cons 1 2)) #f

Question 2

(equal? v1 v2) pre typy ako reťazce, páry, meniteľné páry, a iné porovnáva …

Answer 2

podľa obsahu. Pre páry je rovnosť rekurzívna.
(equal? “Ahoj” “Ahoj”) #t
(equal? “ab” (string-append “a” “b”)) #t
(equal? 2 2.0) #f

Question 3

(= v1 v2) vracia #t práve vtedy ak

Answer 3

v1 =v2. Akv1 av2 niesú
čísla, vráti chybu

Question 4

Co je to symbol?

Answer 4

atomická hodnota, ktorá sa vypisuje ako identifikátor so symbolom ’ na začiatku.

Question 5

Ako vieme zistit ci je nieco symbol?

Answer 5

(symbol? ’a) #t

Question 6

Co robi string->symbol?

Answer 6

konvertuje reťazec s na symbol ’s.

Question 7

Ake zlozite je porvnanie symbolov podla eq? a equal?

Answer 7

O(1)

Question 8

Co robi eval?

Answer 8

umožňuje vytvoriť za behu nové dáta a potom tieto dáta zmeniť na program a vykonať ho

(eval ’(print “Ahoj”))

Question 9

Co je to quote?

Answer 9

(quote v) je to isté ako ’v
quote zabráni interpretácii symbolov ako identifikátorov a zoznamov ako volaní funkcií
* (quote apple) ’apple
* (quote (1 2 . (3))) (1 2 3)
* (quote 42) 42

Question 10

Co je to quasiquote a unquote?

Answer 10

(quasiquote v) je to isté ako ‘v
(unquote v) je to isté ako ,v
quasiquote pracuje podobne ako quote, ale pokiaľ narazí na (unquote v), tak vyhodnotí v a nahradí ním (unquote v).

Question 11

Co vyuzivame v JS? podobne ako quasiquote?

Answer 11

string interpolation
* var n = 42;
* “foo${n}bar” “foo${n}bar”
* ‘foo${n}bar‘ “foo42bar”

Question 12

Haskell vs Racket

Answer 12

Haskell je akoby podmnožina Racketu. Existujú programy, ktoré Haskell neskompiluje ale Racket áno, ale obsahujú chyby
V haskelli nepotrebujeme funkcie ako number?
v rackete vieme vracať rôzne typy

Question 13

Aký je Racket z pohľadu Haskell programátora?

Answer 13

Racket akoby mal jeden veľký dátový typ RT. Všetky hodnoty sú práve tohto typu RT:

Question 14

Co je to staticka kontrola?

Answer 14

akákoľvek činnosť, ktorej úlohou je zamietnuť zlý program po tom, ako sa úspešne sparsoval (vytvoril sa AST), ale ešte pred tým, než sa spustí.

Question 15

AKé sú nástroje pre dodatočnú statickú kontrolu?

Answer 15

napr. lint

Question 16

Čo kontroluje statická typová kontrola?

Answer 16

• nájsť chyby ako nesprávne typy argumentov 4/”2”, f v, a f nie je funkcia, if za ktorým nie je bool. výraz, . . .
• vynútenie abstrakcie
• vyhnúť sa kontrole za behu

Question 17

Ako mozu dynamicky typované jazyky môžu robiť určité stat. kontroly?

Answer 17

použitie nedefinovanej premennej

Question 18

v jazyku Haskell stat. kontrola nedeteguje nasledovné chyby:

Answer 18

• zavolanie head na prázdnom zozname
• delenie nulou

Question 19

žiadna statická kontrola nemôže detegovať logické chyby:

Answer 19

• preklep v názve premennej: x namiesto y
• nesprávna podmienka v if
• nesprávny algoritmus
  toto si musíme vyriešiť sami :)

Question 20

Co je ulohou statickej kontroly?

Answer 20

diagnostikovať, či má program chorobu X . Program má chorobu X, ak existuje vstup, na ktorom spraví X.

Question 21

kedy je staticka kontrola korektna (sound) vzhladom na X?

Answer 21

ak deteguje každý program chorý na X a neprepustí ho
* žiadne falošne negatívne výsledky testov

Question 22

stat. kontrola je úplná (complete) vzhľadom na X , ak …

Answer 22

každý program, ktorý netrpí X, prejde kontrolou bez nálezu X * žiadne falošne pozitívne výsledky testov

Question 23

Co je problem s nerozhodnutelnostou pre staticku typovu kontrolu?

Answer 23

Statická kontrola pre skoro každé netriviálne X nemôže súčasne spĺňať nasledovné podmienky:
* je korektná (sound) vzhľadom na X
* je úplná (complete) vzhľadom na X
* na každom programe skončí v konečnom čase
Inak povedané, to, či program trpí X je nerozhodnuteľný problém skoro pre každé netriviálne X.

Question 24

Kedze chceme aby kompilator vzdy skoncil, od coho upustime?

Answer 24

musíme upustiť od korektnosti alebo úplnosti. Upustime teda od korektnosti

Question 25

Co spravime ked upustime od korektnosti?

Answer 25

• Vložíme dyn. kontrolu, ktorá bude za behu kontrolovať, či sa nejde udiať X. Ak áno, program zastavíme a vyhlásime chybu.
• Povolíme, aby sa stalo X, aj keď v niektorých prípadoch tomu vieme zabrániť. (Napr. delenie nulou vráti ∞.)

Question 26

Co je vacsinou zachrana pred nedefinovanym spravanim, alebo chybami po statickej kontrole?

Answer 26

Dynamicka kontrola

Question 27

Prečo niektoré jazyky nerobia ani statickú, ani dynamickú kontrolu?

Answer 27

• zjednodušuje to implementáciu kompilátora/interpretera
• vynechanie dynamických kontrol zvyšuje rýchlosť
• kompilátor negeneruje do kódu informácie potrebné (napr. veľkosť poľa) pre dyn. kontrolu (šetrí sa priestor a výkon)

Question 28

Preco ale treba robit kontroly?

Answer 28

Ludia vacsinou chybuju castejsie ako pocitace

Question 29

Opis kontrolu v jazyku racket

Answer 29

slide 14

Question 30

Opis kontrolu v javascripte

Answer 30

slide 15

Question 31

Co je vyhoda dynamickej kontroly?

Answer 31

Je praktickejsia
štandardne dovoľuje heterogénne zoznamy, funkcie vracajúce String alebo Integer
statická kontrola: viac práce, musíme zaviesť vlastný typ
dataT= I Int | S String

Question 32

Co je vyhoda statickej kontroly?

Answer 32

Je praktickejsia :D
Pri statickej kontrole môžeme predpokladať, že argumenty majú správny typ.
Pri dynamickej kontrole musíme ručne kontrolovať typ argumentu na začiatku funkcie

Question 33

Co ma racket kvoli absencii statickej typovej kontroly?

Answer 33

systém kontraktov (nespomínali sme)

Question 34

Co je nevyhoda statickej kontroly?

Answer 34

Každá zložitejšia korektná statická kontrola nie je úplná, t.j. odmieta niektoré rozumné programy.

Question 35

Co umoznuje staticka kontrola?

Answer 35

značkovanie (tagging)
tagging všetkých hodnôt pri dynamickej kontrole stojí čas, priestor a prináša neskorú detekciu chýb.
mozeme si vytvorit vlastny typ a znackovat (napr aj ten typ RT)

Question 36

Aká kontrola generuje rýchlejší kód? Prečo?

Answer 36

Statická kontrola
podpora za behu (runtime):
* nemusí ukladať značky (tags)
* nemusí kontrolovať značky

Question 37

Ako vieme zrýchliť dynamickú kontrolu?

Answer 37

implementácia jazyka:
* môže využívať rôzne optimalizácie k odstráneniu
zbytočných dynamických kontrol.
vlastný zdrojový kód:
* nemusí ručne obchádzať obmedzenia typového systému

Question 38

Ako ulahcuje dynamicka kontrola znovupozitelnost kodu?

Answer 38

Bez obmedzujúceho statického typového systému sa dá viac kódu znovupoužiť s iným typom dát.

Question 39

Ako ulahcuje staticka kontrola znovupozitelnost kodu?

Answer 39

generics, ad-hoc polymorfizmus, hierarchie tried,…
statická typová kontrola umožňuje:
* použiť rôzne typy pre rôzne koncepty
* zabrániť nesprávnemu použitiu knižníc

Question 40

Ako je dynamicka kontrola lepsia pre prototypovanie?

Answer 40

dynamická kontrola umožňuje spustiť aj nekompletný program, ktorý neošetruje všetky prípady
statická kontrola vyžaduje ošetrenie všetkých prípadov

Question 41

Ako je staticka typova kontrola lepsia pre prototypovanie?

Answer 41

Statický typový systém pomáha pri prototypovaní:
* dokumentovať dátové štruktúry a kontrolovať ich správne použitie
* uistiť sa, že sa na nič nezabudlo (case)
* či sa omylom v novom kóde nespoliehame na nesprávne predpoklady

Question 42

Co ak nemame nieco implementovane, co vlozime?

Answer 42

_ -> error “Not implemented”

Question 43

Ako je dynamicka kontrola lepsia pre udrzbu?

Answer 43

Môžeme kód spraviť všeobecnejší bez ovplyvnenia všetkých existujúcich volajúcich miest.

Question 44

Ako je staticka kontrola lepsia pre udrzbu?

Answer 44

Keď sa zmení dátový typ alebo časť programu, tak statická kontrola typov vráti zoznam miest, na ktorých treba niečo opraviť.
* predchádza zaneseniu chýb