GADT, moduly, ADT, typy ranku-n ...

Question 1

čo to sú fantómové typy?

Answer 1

znemožnia vytvorenie sémanticky nekorektných výrazov
slide 4

Question 2

Aký je problém pri fantómových typoch?

Answer 2

Nevieme definovať múdru verziu Lt, ani eval, (slide 5)

Question 3

Co to su GADTs?

Answer 3

Generalized algebraic datatypes
umožňujú obmedziť návratovú hodnotu dátového konštruktora
pri ADT by musel byť Expr a
pri GADT môže byť napr. Expr Int alebo Expr Bool
slide 6

Question 4

Ako spravit eval cez GADTs?

Answer 4

slide 8

Question 5

Co je to modul?

Answer 5

modul je zoskupenie vzájomne súvisiacich funkcií, typov, typových tried, konštánt, . . .
program je zoskupenie modulov
moduly importujú iné moduly a volajú ich funkcie
program sa spúšťa zavolaním hlavnej (main) funkcie z Main modulu

Question 6

Ake su vyhody rozdelenia programu do modulov?

Answer 6

kontrola menného priestoru (menej kolízií mien)
slabo previazané moduly (loosely coupled) - väčšia znovupoužiteľnosť, ľahšie rozdelenie práce, rýchlejší vývoj

ukrytie implementačných detailov
umožňuje vytváranie abstraktných dátových typov

Question 7

Aka je syntax modulov?

Answer 7

názvy modulov sú alfanumerické, začínajú veľkým písmenom
modul s názvom Meno je v súbore s názvom Meno.hs
pokiaľ je názvom modulu zložených z viac názvov oddelených
bodkou, tak názvy pred bodkou sú adresáre

Question 8

Co exportujeme akym nazvoslovim?

Answer 8

module Meno ({-exportované názvy-}) where
module Meno where exportuje všetky názvy

Question 9

pokial subor nezacina module tak sa predpoklada

Answer 9

module Main(main) where

Question 10

Opis exporty a importy na slide 11, 12

Answer 10

slide 11,12

Question 11

Naco nam je import qualified?

Answer 11

zabraňuje kolízii názvov (name clash)

Question 12

Co je to abstraktny datovy typ?

Answer 12

dátový typ spolu s operáciami nad týmto typom, pričom sa ukrývaju implementačné detaily (vrátane štruktúry typu)
dostupné operácie nazývame rozhranie (interface) ADT
napr. Data.Map a Data.Set

Question 13

Opis ADT zasobnika

Answer 13

slide 14

Question 14

Co znamena ze normalne typy su v haskell ranku-1?

Answer 14

a → b → a je ekvival.:
forall a. (a -> forall b. (b -> a))
forall a b. a -> b -> a

Question 15

Aky je problem s f::a->(a,Int), fx=(x,1)?

Answer 15

Očakávali by sme, že funkcia g f x y = (f x, f y) po zavolaní g2 f True ’a’ vráti ((True,1),(’a’,1)). V skutočnosti však funkcii g Haskell odvodil typ:
g::(a->b)->a->a->(b,b)
Potrebujeme typ ranku-2

Question 16

Ako s typmi ranku 2? Aky typ chceme?

Answer 16

slide 17

Question 17

co je zakladom pre typy vyssieho ranku?

Answer 17

System F (alebo druho-rádový λ-kalkulus)

Question 18

Co je to typ ranku n?

Answer 18

typ ranku-n je funkcia, ktorá má aspoň jeden argument ranku-(n-1), ale žiadny argument vyššieho ranku

Question 19

Ako v HS zapisat funkciu ranku n?

Answer 19

slide 18

Question 20

opis co sa deje na slide 19

Answer 20

slide 19

Question 21

Co je to bezbodovy styl?

Answer 21

Bezbodový štýl, je štýl zápisu funkcie, pri ktorom sa v tele funkcie nespomínajú argumenty (body) v ktorých sa funkcia vyhodnocuje.

Question 22

Daj priklady na pointfree upravy

Answer 22

slide 20

Question 23

co sa deje na slide 23?

Answer 23

pointfree prepis
slide 23 pozri

Question 24

Kedy je vyraz v WHNF? (Weak head normal form)

Answer 24

výraz je vo WHNF, ak jeho najvonkajšejšia časť je:
* konštruktor (True, Just (1+2), (:) (1+2) rest)
* lambda abstrakcia (\x -> výraz)
* neúplná aplikácia vstavanej funkcie ((+) 2, sqrt)

Question 25

Pozri si priklady na vyrazy v WHNF a nie v nej

Answer 25

slide 24

Question 26

Kedy je vyraz v NF? (Normal form)

Answer 26

výraz je v normálnej forme (NF), keď je plne vyhodnotený (žiadny podvýraz už nemôže byť ďalej vyhodnotený)

Question 27

Daj priklady vyrazov v NF a nie v nej

Answer 27

slide 25

Question 28

Aky je vztah NF a WHNF?

Answer 28

výraz je NF ⇒ výraz je vo WHNF

Question 29

Co robi seq?

Answer 29

najzákladnejší spôsob ako zaviesť striktnosť do Haskellu funkcia seq :: a -> b -> b * berie dva argumenty ľubovoľného typu * vracia hodnotu druhého argumentu * ako vedľajší efekt vyhodnotí prvý argument do WHNF

Question 30

Preco foldl' nemusi vzdy fungovat?

Answer 30

slide 27

Question 31

Co to je bang pattern?

Answer 31

* f1 !x = True – vyhodnotí x do WHNF * f2 (!x, y) = [x,y] – vyhodnotí x, ale nie y * f3 !(x,y) = [x,y] = f4 (x,y) = [x,y] * let !z = x–vyhodnotíxdoWHNF

Question 32

na co je deepseq?

Answer 32

poskytuje funkcie pre úplné vyhodnotenie dátových štruktúr (NF)

Question 33

Daj priklad na deepseq

Answer 33

slide 29

Question 34

Co to su immutable datove struktury?

Answer 34

po vytvorení už nemôžu byť modifikované môžeme vytvoriť novú štruktúru vychádzajúcu zo starej, ale starú nemôžeme modifikovať (update in-place)

Question 35

Ake su vyhody immutable struktur?

Answer 35

ľahšie sa o nich uvažuje - majú iba jeden stav a v tom ostávajú viac-vláknová bezpečnosť (thread safety), je read-only ľahko sa dajú zdieľať zabraňujú vedľajším efektom stará a nová verzia zdieľajú spoločné časti ľahko sa zisťuje ktorá časť bola v novej verzii modifikovaná (oproti starej verzii)

Question 36

daj priklady na immutable v Java, C#, ...

Answer 36

slide 31

Question 37

Mame aj v haskelli mutable struktury?

Answer 37

Ano import Data.STRef (newSTRef, modifySTRef’, readSTRef)

Question 38

Co je to lexikalny scoping?

Answer 38

funkcia môže používať iba lexikálne viditeľné premenné v čase definície bez closures – ak by tieto premenné mohli medzi definíciou a volaním zaniknúť, je to chyba s closures – použité premenné ∃ v čase definície existujú v uzávere funkcie aj ak by medzitým mali zaniknúť

Question 39

Co je to dynamicky scoping?

Answer 39

(nepoužíva closures) – premenné sa vždy berú z aktuálneho prostredia (môže obsahovať premenné, ktoré nie sú lexikálne dostupné v čase definície)

Question 40

Ake jazyky pouzivaju closures?

Answer 40

Napr javascript

Question 41

Kde mame typovu inferenciu?

Answer 41

C++ auto C# var Java Arrays.asList