zoznamy, λ-kalkul, funkcie

Question 1

Co robi concat?

Answer 1

[[a]] -> [a] – zlúči zoznam zoznamov

Question 2

Ake funkcie mame na sumu/product numerickych zoznamov?

Answer 2

sum,product

Question 3

Co robi take a drop?

Answer 3

Take vezme n zo zoznamu a drop necha n

Question 4

Co robi takewhile/dropwhile?

Answer 4

Take alebo drop ale s nie fixnym cislom ale s funkciou

Question 5

ako zistim ci je prvok v zozname?

Answer 5

elem

Question 6

Co robi lookup?

Answer 6

Eq a => a -> [(a, b)] -> Maybe b

Question 7

Opis λ-term

Answer 7

slide 3

Question 8

Opis vazbu premennych

Answer 8

slide 3

Question 9

Co je to kombinator?

Answer 9

λ-term bez voľných premenných

Question 10

Ake pozname kombinatory

Answer 10

ISK
slide 3

Question 11

Opis beta-redukciu

Answer 11

slide 4

Question 12

Co je to redukovatelny vyraz?

Answer 12

(skrátene redex) je ľubovoľný výraz na ktorý sa dá priamo aplikovať β-redukcia.

Question 13

Kedy je vyraz v normalnej forme?

Answer 13

neobsahuje žiadny redex.

Question 14

Ake pozname poradie redukovania v lambda kalkule?

Answer 14

slide 5
volanie hodnotou (call-by-value, leftmost innermost)
volanie menom (call-by-name, leftmost outermost, delayed)
volanie nutnosťou (call-by-need, left. outer. + memo., lazy)

Question 15

Zalezi na poradi redukovania v lambda kalkule?

Answer 15

nie, ak skončia, tak vedú vždy k tej istej normálnej forme

Question 16

Co je to alfa konverzia?

Answer 16

λx.M→ λy.M[x→ y], ak y nie je voľné v M
premenovanie viazanej premennej

Question 17

Co je to η-redukcia?

Answer 17

λx.Mx→ M, ak x nie je voľné v M
odstraňuje zbytočnú λ-abstrakciu

Question 18

Co je to currying?

Answer 18

technika transformovania n-árnej funkcie na postupnosť unárnych
lebo všetky funkcie sú unárne

Question 19

Ake pozname 2 typy funkcii?

Answer 19

Anonymná funkcia (λ je nahradená symbolom )
Pomenovaná funkcia

Question 20

Aka je v haskelli asociativity aplikacie funkcie?

Answer 20

zľava asociatívna
* f x y z≡((f x) y) z

Question 21

Co robi $?

Answer 21

menej zatvoriek treba

Question 22

Cim skladame funkcie?

Answer 22

bodkou

Question 23

ake su take identicke funkcie?

Answer 23

id - identita
const - konstantna

Question 24

Ako to funguje ked ma haskell len unarne funkcie?

Answer 24

N-arna funkcia vracia vzdy n-1-arnu funkciu

Question 25

Co robi curry?

Answer 25

curry f – funkcia f na dvojiciach „curried“ funkcia
uncurry f – „curried“ funkcia f funkcia na dvojiciach

Question 26

Co robi flip?

Answer 26

prehodenia poradia prvých dvoch argumentov f

Question 27

Co robi curry id?

Answer 27

Vytvori dvojicu