Polymorfizmus, typové triedy a algebraické dátové typy

Question 1

Co je to parametricky polymorfizmus?

Answer 1

Parametrický polymorfizmus, umožňuje pri definícii funkcie použiť typové premenné namiesto konkrétnych typov. Takéto funkcie potom môžu byť podľa potreby inštancované pre konkrétne typy. Všetky inštancie zdieľajú rovnakú implementáciu (kód), čiže vykazujú rovnaké správanie.
Java: Generics a pod

Question 2

Ako robime parametricky polymorfizmus v haskelli?

Answer 2

Napr dlzku zoznamu vieme pre kazdy zoznam, tak typ bude [a], nie napr [Int]

Question 3

Co je to ad-hoc polymorfizmus?

Answer 3

Ad-hoc polymorfizmus, umožňuje rôzne správanie pre rôzne inštancie polymorfickej funkcie. Pre rôzne inštancie typovej premennej existujú jej rôzne implementácie.
Java: preťaženie (overloading) metód, operátorov

Question 4

Ako vyzeraju typove triedy?

Answer 4

slide 4
class Comparable a where
hlavicky funkcii + mozu byt aj defaultne implementacie kde nezalezi na type

Question 5

Ako vyzeraju instancie typovych tried?

Answer 5

instance Comparable Int where
definicie funkcii

Question 6

Ako vyznacujeme co aspon treba

Answer 6

{-# MINIMAL (eq|neq),(lt|cmp) #-}
„|“ predstavuje „alebo“ a „,“ predstavuje „a zároveň“

Question 7

Co vypise GHCI po zadaní„:i Comparable“?

Answer 7

GHCi vypíše rozhranie typovej triedy, minimálnu požadovanú implementáciu a jednotlivé inštancie:

Question 8

Ake pozname standartne typove triedy?

Answer 8

Eq, Comparable, Ord, Enum, Bounded a pod.

Question 9

Co obsahuje Eq?

Answer 9

==, /=

Question 10

Co obsahuje Ord?

Answer 10

compare, max, <, …

Question 11

Co obsahuje bounded?

Answer 11

minBound, maxBound

Question 12

Co obsahuje Num?

Answer 12

+, -, *, negate a pod

Question 13

co obsahuje Show?

Answer 13

hlavne zmenu typu na string

Question 14

Ako vyzera zaznam v haskelli?

Answer 14

data Student = MkSt String String Int String
st = MkSt “Janko” “Hraško” 4 “šikovný”

Question 15

Co je Student a MkSt?

Answer 15

Student – nový typ (musí začínať veľkým písmenom)
MkSt – dátový konštruktor (musí začínať veľkým písmenom)
MkSt::String->String->Int->String->Student

Question 16

Ako vieme zjednodusit vytahovanie jendotlivych poloziek z typu?

Answer 16

Pouzijeme konstruktor s pomenovanim

data Student
= MkSt {meno :: String,
priezvisko :: String, rocnik :: Int, poznamka :: String}

Mozem potom aj volat MkSt {priezvisko = “Hrach”, meno = “Jan”, poznamka = “OK”, rocnik = 4}

Question 17

Ako vieme aktualizovat v haskelli?

Answer 17

st2 :: Student
st2 = st {poznamka = “KO”}

su to ale rozdielne veci, st sa nezmenil

Question 18

Co to su vymenovane typy?

Answer 18

data Bool = False | True
maju datove konstruktory bez argumentov

Question 19

Kedy je datovy typ polymorfny?

Answer 19

Pokiaľ je dátový typ parametrizovaný typovým parametrom, tak hovoríme, že je polymorfný. (Platí pre záznamy, aj var. typy.)

Question 20

Opis Either

Answer 20

dataEitherab=Lefta|Rightb

Question 21

opis rekurzivne typy

Answer 21

slide 24