MI-PSL-7

Question 1

Describe the Scala types taxonomy.

Answer 1

typy prvního řádu
hodnotové
konkrétní – vyjadřuje jednak jednoduché typy (třídy a traity), jednak složené typy, např.:
Point with Moveable
    { // refinement
        def moveToOrigin
    }
kde refinement ještě slouží k dodatečným deklaracím

abstraktní – může se jednat o typové parametry (jako proměnná typu List[T]) nebo vlastní deklarace typů:
type T

Question 2

Outline (simplified) Scala class hierarchy.

Answer 2

scala. Any – slouží jako vrchol hierarchie tříd, je to abstraktní třída, definuje základní metody (equals – abstraktní, ==, !=, hashCode, toString, isInstanceOf, asInstanceOf)
scala. AnyVal – zastupuje hodnotové typy
scala. AnyRef – zastupuje referenční typy (dá se přirovnat k java.lang.Object)
scala. Null – je podtřídou všech referenčních typů, definuje hodnotu null, více viz otázka „How is defined value null?“
scala. Nothing – je podtřídou všech ostatních typů (včetně scala.Null), je úplně naspodu hierarchie tříd; používá se např. jako návratová hodnota výrazu throw

Question 3

What is it the path?

Answer 3

Cesta je jednoznačné označení typu nebo hodnoty, např. scala.Any, this, C.super, this.C, super.v apod.
- obsahuje pouze identifikatory stabilnich clenu (balicky, objekty a hodnoty - ne vars)

Question 4

What is it the stable identifier and where is required?

Answer 4

Jedná se o cestu (viz otázka výše), která končí identifikátorem, tedy nemá na konci this. Využívá se v:

import klauzuli
pattern matchingu jako stable identifier pattern (matchování podle předdefinované hodnoty):
val One = 1
val one = 1
x match {
    case One => "jednička"
    // případně
    case `one` => "jednička"
}
contructor a extractor patternu:
x match {
    case Rect(1, 2) => "obdélník 1×2"
}

Question 5

What requirements must fulfill the parameterized type?

Answer 5

(Parametrizovany typ obsahuje type designator a jeho argumenty.)
Typove argumenty se museji vzdy vlozit do typoveho konstruktoru (napr. nemuzeme napsat List -> musi to byt List{Type]

Question 6

What is the format of the tuple type and for what is it alias?

Answer 6

Typ tuple se zapisuje jako (T1, …, Tn) a jedná se o syntaktickou zkratku pro typ scala.Tuplen[T1, …, Tn], což je case třída definující metody _1 až _n pro přístup k jednotlivým hodnotám.

Question 7

What is the format of the compound type?

Answer 7

Format:
AnnotType {with AnnotType} [Refinement] | Refinement
Refinement = [nl] {RefineStat {semi RefineStat}}
RefineStat = Dcl | type TypeDef

Složený typ se zapisuje např. takto:

Point with Moveable
    { // refinement
        def moveToOrigin
    }
kde refinement ještě slouží k dodatečným deklaracím. Složený typ může být zapsán i samotným refinementem, pak je to stejné, jako AnyRef {…refinement…}

Question 8

What is it ducktyping?

Answer 8

„When I see a bird that walks like a duck and swims like a duck and quacks like a duck, I call that bird a duck.“

Můžeme požadovaný typ označit pouze pomocí refinementu (viz otázka výše), tedy nadeklarovat pouze to, co má umět. Např.:

object Main {
def letQuack(duckLike : { def quack() })
// compound type given only by refinement
duckLike.quack()
}
}
a je nám jedno, co to bude ve skutečnosti za typ, hlavně že umí kvákat.

Question 9

What is the form of the type declaration?

Answer 9

Format:

TypeDcl = id [TypeParamClause] [vetsi Type] [mensi Type]

Question 10

What is the form of the type definition?

Answer 10

Format:
Def = type {nl} TypeDef |
TypeDef = id [TypeParamClause] = Type

Definice může být jednak pojmenování typu jiným označením, např.:

type MapStringInt = Map[String, Int]
nebo konstruktor typu, např.:

type InvMap[V, K] = Map[K, V]
V případě definice typu, který byl nadeklarovaný dříve (např. v nadtřídě), musíme dbát na omezení daná horní a spodní mezí, tedy musí platit LowerBound

Question 11

What constructs has type parameters?

Answer 11

Typové parametry se můžou objevit:

v definici typu:
type ListOfRef[T]: List[T]

v definici class a traitu:
abstract class List[+A]

v definici funkce

Question 12

What is the relation of parameterized types T[S] and T[R] if S mensi nez R

Answer 12

Záleží na varianci pozice. Pokud máme definici třídy s parametrem:

class T[A] {…}
nebo typu s parametrem:

type T[A] = …
Pak platí:

pokud je typ A definován jako kovariantní, tedy T[+A], pak T[R] je mensi nez T[S]

pokud je A definovan jako kontravarianti, tedy T[-A], pak T[R] je mensi nez T[S]

Question 13

Where a covariant type parameter can be used?

Answer 13

typ hodnoty (val)
návratový typ funkce

immutable kolekce

Question 14

Where a contravariant type parameter can be used?

Answer 14

parametr funkce

Question 15

Where an invariant type parameter can be used?

Answer 15

všude jinde - proměnná, parametr funkce, návratový typ funkce

Question 16

What is it the singleton type? What values belong to the singleton type?

Answer 16

SimpleType = Path . type

je typ dvou hodnot : null a hodnota urcena cestou Path

Question 17

What is it the type projection? What values belong to the type projection?

Answer 17

SimpleType = SimpleType # typeid
typ vsech instanci typu clena typeid z SimpleType
type projection is used to access type members. například pro vnořené třídy: Outer#Inner

Question 18

What is it the path-dependent type? Write an example.

Answer 18

Jedná se o typy (třídy), jejichž identita závisí na cestě, kterou se k nim dostaneme. Pokud definujeme třídu uvnitř jiné třídy, dostaneme se k vnitřní třídě pouze pomocí instance vnější třídy a zároveň přístup k vnitřní třídě pomocí jedné instance vnější třídy reprezentuje jiný typ než přístup pomocí jiné instance vnější třídy. Vnitřní třídu můžeme označit pomocí projekce vnější#vnitřní:

class Outer {
    class Inner {}
}
val o1 = new Outer
val i1 = new o1.Inner
val o2 = new Outer
val x: o1.Inner = i1  // OK
val x: o2.Inner = i1  // error: type mismatch
val x: Outer#Inner = i1  // OK

Question 19

Write an example of the enumeration.

Answer 19

Enumerace nejsou ve Scale součástí syntaxe, ale můžeme využít vestavěnou třídu scala.Enumeration:

object RgbColor extends Enumeration {
    val Red = Value
    val Green = Value
    val Blue = Value
}
nebo zkráceně:

object RgbColor extends Enumeration {
val Red, Green, Blue = Value
}