Lees hier de samenvatting en de meest belangrijke oefenvragen van Concepten van programmeertalen | 9789491465994 | [cursusteam M. Witsiers-Voglet ... et al. ; red. Arnold van der Leer ; ill. Maria Wienbröker-Kampermann].

• 1 Waarden en typen

  Dit is een preview. Er zijn 64 andere flashcards beschikbaar voor hoofdstuk 1
  Laat hier meer flashcards zien

• Cardinaliteit (van een verzameling of type S)

  Aantal elementen van S.

  In het tekstboek genoteerd als #S.

  [T2.2]

• Cartesisch product (van twee verzamelingen)

  Verzameling van geordende paren, waarbij het eerste element van elk paar uit de eerste verzameling komt en het tweede element uit de tweede verzameling.

  [C1.3.1]

• Geef een beschrijving van het begrip statische typering

  Bij statische typering heeft elke variabele en daarmee elke expressie een vast type dat zonder het programma uit te voeren gecontroleerd kan worden (gedeclareerde type)

• In welke 4 structureringsconcepten kunnen we samengestelde typen onderverdelen?

  - cartesisch product (tupels en records
  - mappings (arrays)
  - disjoint unions (algabraic types, discriminated records en objects)
  - recursive types(trees, lists)

• Geef een beschrijving van het begrip dynamische typering

  Bij dynamische typering kan het type van de variabele gedurende de uitvoering van het programma veranderen (actuele type). Typecontrole vindt plaats tijdens de verwerking. Bijvoorbeeld in Javascript a="tekst", a=10.

• Disjuncte vereniging (van twee verzamelingen)

  Verzameling waarden waarin elke waarde óf uit de ene óf uit de andere verzameling is gekozen en waarin elke waarde voorzien is van een tag (discriminant), die aangeeft uit welke verzameling de waarde is gekozen.

  Ook: disjoint union

  [T2.3.3]

• Geef een beschrijving van het begrip disjuncte vereniging

  S+T heeft als waardenverzameling de waarden van S en T, waarbij te onderscheiden is uit welk van de twee verzamelingen de waarden afkomstig is (aanwezig in Haskell als datatype, in Java aanwezig als interfacetype met voor ieder component van de vereniging een klasse die de interface implementeert.

• Functie f: S -> T

  Voorschrift dat bij elke waarde x uit S (het domein van de functie) precies één waarde uit T (het bereik) oplevert.

  Ook: mapping

  [T2.3.2]

• Functieruimte (S -> T)

  Verzameling van alle afbeeldingen f: S -> T waarvoor geldt dat als x tot S behoort, f(x) tot T behoort.

  [T2.3.2]

• Homogeen (van lijst of tupel)

  Een tupel heet homogeen als alle componenten van de tupel uit dezelfde verzameling gekozen worden.

  [T2.3.1]

  Een lijst heet homogeen als alle elementen uit de lijst van hetzelfde type zijn.

  [T2.4.1]