Monady

Question 1

Aka je motivacia za monadami?

Answer 1

slide 1,2
Potrebujeme špeciálne skladanie viachodnotových funkcií.

Question 2

Ako prebieha vypocet pri motvacii za monadami?

Answer 2

• aplikovaním vnútornej funkcie g :: a → [b] na x :: a získame [b]
• na prvky [b] aplikujeme f :: b → [c], čím získame [[c]]
• zoznam zoznamov vyrovnáme (flatten) funkciou concat

Question 3

Co je este motivacia za monadami?

Answer 3

Rozsirenie o testovacie vypisy, ktore vieme skladat
slide 4,5

Question 4

Co je to fish operator?

Answer 4

<=<
(<=<) :: (b->(String,c))->(a->(String,b))->a->(String,c)

Question 5

Co treba definovat pre monadu?

Answer 5

> > =

Question 6

Co je to&raquo_space;=?

Answer 6

m a->(a->m b)->m b
hod. v kont. odovzdá funkcii vracajúcej hod. v kont.

Question 7

Co robi&raquo_space;?

Answer 7

m a->m b->m b

Question 8

Co robi return?

Answer 8

vloží „čistú“ hodnotu do kontextu

Question 9

Ake identity musi splnat implementacia return a&raquo_space;=?

Answer 9

• return a&raquo_space;= k = k a
• m&raquo_space;= return=m
• m&raquo_space;= (\x -> k x&raquo_space;= h) = (m&raquo_space;= k)&raquo_space;= h

Question 10

Co je to do notacia?

Answer 10

do {e} = e
do {e; stmts} = e&raquo_space; do {stmts}
do {p ← e; stmts} = e&raquo_space;= λp → do {stmts}

Question 11

Aky je suvis do notacie s mnozinovou notaciou?

Answer 11

slide 9

Question 12

Ako vieme implementovat if pomocou monad, aplikativnych funktorov?

Answer 12

slide 10,11

Question 13

Co vieme spravit pomocou monad ale nie pomocou aplikativnych funktorov?

Answer 13

slide 13

Question 14

Porovnaj funkcie, zdroje a ciel pri porovnani apl. fun, fun a monad

Answer 14

slide 14

Question 15

Smerom od funktorov k monádam získavame …

Answer 15

silnejšie rozhranie a
flexibilnejšiu kontrolu nad výsledkom, za cenu:
* menších záruk o výsledku,
* menšieho počtu inštancií.

Question 16

Co je to hodnota?

Answer 16

čistá (strohá) hodnota (napr. a)

Question 17

Co je to kontext?

Answer 17

zaobaľuje čisté hodnoty (napr. f z f a)

Question 18

Co je to funktorova hodnota?

Answer 18

hodnota zabalená v kontexte (napr. f a)

Question 19

Kedy pouzit funktor?

Answer 19

Typ funkcie fmap zaručuje, že nemôže zmeniť tvar kontextu nech je funkcia g : a → b akákoľvek, pretože tá nevie nič o kontexte.
fmap g [1..10] vždy vráti desaťprvkový zoznam

Question 20

Kedy pouzit aplikativny funktor?

Answer 20

Funkcia (⟨∗⟩) môže meniť tvar kontextu pretože ako funkcie f (a → b), tak aj hodnoty f a sú vo svojom vlastnom kontexte. Vo vnútry kontextu f sú však čisté funkcie a → b a tieto nemôžu meniť kontext. Preto výsledný kontext je úplne určený kontextom argumentov a nazávisí od hodnôt v týchto kontextoch.

Question 21

Kedy pouzit monady?

Answer 21

Funkcia =&laquo_space;môže meniť tvar výsledného kontextu podľa vstupných hodnôt, pretože funkcia je typu a → f b a teda môže vytvoriť vlastný kontext z hodnoty.

Question 22

vysveti ze monada je aplikativny funktor

Answer 22

slide 17

Question 23

vysvetli ze aplikativny funktor je funktor

Answer 23

fmap f x = pure f <*> x