Startpagina / Samenvattingen / Concepten van programmeertalen / haskell-typen-waarden

Waarden en typen

4 belangrijke vragen over Waarden en typen

Geef een beschrijving van het begrip conditionele expressie

Een conditionele expressie berekent een waarde die afhangt van een conditie. Het heeft 2 of meer subexpressie, waarbij er exact 1 uitgekozen wordt om geevalueert te worden

Geef van de verschillende soorten typen voorbeelden in de talen Jave en Haskell

Haskell
- primitieve typen -> Int, Integer, Float, Double, Char
- andere typen -> Bool, Rational
samengestelde waarden: lijsten, tupels, dataconstructies
- Haskell kent geen deelintervaltype
- Een opsommingstype (enumeration type) is in Haskell geen primitief type, maar kan wel gecreerd worden met behulp van constructiefuncties zonder parameter

Java
- primitieve type -> byte, short, int, long, char, float, double en boolean
- samengestelde waarden (arrays, objecten)
- Java kent geen deelintervaltype, maar kan wel worden gecreerd met behulp van een klasse van type enum

Geef de formules waarmee de verschillende kardinaliteiten van de verschillende samengestelde typen kunnen worden berekend en pas deze toe

Cartesisch product: S x T:
- Cardinaliteit: #(S x T) = #S x #T

Disjuncte vereniging: S + T
Cardinaliteit: #(S + T) = #S + #T

Functieruimte: S -> T
Cardinaliteit: #(S -> T) = #T^#S

Leg het verschil uit tussen structurele equivalentie en naamequivalentie en welk type wordt toegepast in de talen Java en Haskell

Bij naamequivalentie zijn 2 typen equivalent als ze dezelfde naam hebben. Bij structurele equivalentie zijn 2 typen gelijk als ze dezelfde structuur (verzameling waarden) hebben. Java maakt gebruik van namequivalentie en Haskell maakt gebruik van structurele equivalentie

De vragen op deze pagina komen uit de samenvatting van het volgende studiemateriaal:

Concepten van programmeertalen | 9789491465994 | M Witsiers Voglet, et al

Bekijk samenvatting