Type systems
21 belangrijke vragen over Type systems
Wat is het verschil tussen parametrische polymorfie en inclusiepolymorfie?
Inclusiepolymorfie duidt op de vorm van polymorfie die ontstaat bij overerving in objectgeoriënteerde talen.
[C7.intro]
Wat wordt verstaan onder ad hoc-polymorfie?
Voorbeelden van ad hoc-polymorfie zijn coërcie en overloading.
[C7.intro]
Welke vier vormen van polymorfie worden door Cardelli en Wegner onderscheiden?
- Coërcie
- Overloading
- Parametrische polymorfie
- Inclusiepolymorfie (overerving)
- Hogere cijfers + sneller leren
- Niets twee keer studeren
- 100% zeker alles onthouden
Voor mijn 1e tentamen haalde ik een 6. Toen ben ik gaan zoeken naar manieren om beter te leren en ben ik Study Smart tegen gekomen. Sindsdien heb ik een 9,0 - 8,0 - 7,6 - 8,0 - 8,0 gehaald. Ik raad het echt íédereen aan die het maar horen wil. Ik ben er zo blij mee!!
Met mijn oude methode was ik geslaagd voor maar 3 van de 8 vakken. Sinds ik mijn aantekeningen digitaal maak in study smart, ben ik voor alle vakken de éérste keer geslaagd. StudySmart neemt voor mij de stress van slagen of niet slagen weg.
Door StudySmart gaat het op zo veel vlakken beter met mij. Eerst had ik continu studiestress en ik had nergens tijd voor. Nu voel ik mij rustig en zelfverzekerd (door gebruik van het programma). Eerst haalde ik meestal een 7, nu vaak een 8 of zelfs een 9.
Hey Chris, ik wil je echt hartelijk danken voor het ontwikkelen van het platform. Ik haalde hiervoor altijd rond de 6/10 voor m'n tentamens, nu een 8,6, een 7,9 en een 7,6!!
Sinds ik Study Smart gebruik, is mijn gemiddelde 1 punt gestegen. Ik heb zelfs een statistisch vak met een 10/10 afgerond terwijl ik slecht ben in statistiek. Nu volg ik extra vakken omdat vorig jaar zo goed ging door Study Smart. Veel dank!
Sinds ik ben gaan leren met StudySmart ben ik geslaagd voor al mijn examens!!! Geen herexamens!! Eerst was ik al blij met een voldoende en nu haal ik alleen maar goede cijfers. Veel dank!
Ik heb alle vakken die ik met Study Smart heb geleerd gehaald. Met rechten ben ik van een 5 naar een 8 gegaan! Ik weet nu zeker dat ik al mijn vakken gewoon ga halen.
Ik dacht altijd dat ik goed studeerde. Mijn cijfers waren ook prima. Ik had mij nooit kunnen voorstellen dat ik zo veel beter en sneller zou studeren door het toepassen van deze vaardigheden.
Ik voel mij voor het eerst 100% zeker over de manier waarop ik leer. Ik heb nu het complete overzicht en de structuur die ik nodig had
Door Study Smart kreeg ik weer plezier in het studeren en haalde ik direct betere cijfers. Alles ging ineens beter. Ik raad Study Smart enorm aan aan scholieren en studenten.
Met dit plaform kan ik super snel en gestructueerd studeren. Ik ben nooit meer de weg kwijt in de stof of in mijn aantekeningen en maak veel sneller goede samenvattingen.
Eerst waren mijn aantekeningen een zooitje. Nu gebruik ik Study Smart en studeer ik super gestructureerd. Het helpt mij om tijd te besparen waardoor ik ook andere dingen kan doen die ik belangrijk vind.
Leerlingen die met het systeem hebben gewerkt hebben gewoon een beter resultaat behaald. Het systeem past alle leertrucjes zo toe, dat zowel de kinderen die goed scoren, maar ook zij die minder scoren, aan hun trekken komen.
Hey Chris, ik wil je enorm bedanken. Het vak waar ik vorig jaar nog net een 5,5 voor haalde, heb ik nu voor ditzelfde vak maar liefst een 9,7 gehaald! Mede dankzij jouw methode! Heel erg bedankt!
Het grootste effect is dat mijn kind veel enthousiaster is over school! Elke ouder wilt graag dat zijn kind het goed doet op school, en Study Smart draagt daar aan bij.
Dankzij StudySmart heb ik vorig jaar al mn examens gehaald en ook veel betere punten gehaald. Maar bovenal heb ik nu gewoon een heel goede studiemethode onder de knie, waarmee ik zeker weet dat ik de rest van mijn studie gewoon ga halen.
Noem drie vormen van subtypen in Ada
- Subrangetype: de waarden van het subtype vormen een deelverzameling van de waarden van het supertype
- Subtype van het arraytype: de array heeft een vaste indexverzameling
- Subtype van een disjuncte vereniging: de waarde van het subtype zijn uit dezelfde verzameling afkomstig
Wat wordt bedoeld als men zegt dat type T1 compatible is met type T2?
[T8.1.1]
Wat is het verschil tussen subtypes en subklassen?
[T8.1.2]
Wat is het essentiële verschil tussen typen van een disjuncte vereniging en klassen?
Deze eigenschap wordt ook wel extensibility genoemd.
[T8.1.2]
Noem een programmeertaal die context-dependent overloading ondersteunt
- Haskell
- Ada
Wat is een nadeel van context-dependent overloading?
[T8.3]
Wat is het essentiële verschil tussen overloading en parametrische polymorfie?
[T8.3]
Wat wordt in relatie tot typeconversie verstaan onder een partial mapping?
[T8.4]
Wat is het essentiële verschil tussen een cast en coërcie?
[T8.4]
Noem twee nadelen van coërcie ten opzichte van casts
- Coërcie gaat niet goed samen met parametrische polymorfie en overloading
- Coërcie is contextafhankelijk
Noem een voordeel en een nadeel van overloading
- Sluit aan bij het natuurlijk gebruik van taal, waarin eenzelfde begrip ook vaak meerdere toepassingen heeft
- Het kost extra tijd om af te leiden welke functie toegepast moet worden (het proces van 'overloading-resolutie')
Noem een voordeel en twee nadelen van contextafhankelijke overloading ten opzichte van contextonafhankelijke overloading
- Contextafhankelijke overloading biedt meer flexibiliteit
Nadelen
- Het kost meer tijd om af te leiden welke functie toegepast moeten worden
- In sommige gevallen is het niet mogelijk om af te leiden welke functie moet worden toegepast
Wat wordt bedoeld met contravariantie in de parameter van een functie?
Als S < T dan T -> U < S -> U
[C7.4]
Onder welke voorwaarden mag een methode in een subklasse worden geherdefinieerd opdat typeveiligheid statisch is gegarandeerd?
- Het nieuwe resultaattype is een subtype van het oorspronkelijke resultaattype
- Het nieuwe parametertype is een supertype van het oorspronkelijke parametertype
Wat wordt bedoeld met een overloaded literal?
[C7.4]
In welk opzicht is het typesysteem van Java nadelig als we typecasts gebruiken?
[C7.4]
Wat is in Java het essentiële verschil tussen herdefinitie en overloading van methoden?
Merk op dat bij herdefinitie als parametertype dus het type van de superklasse wordt verwacht.
[C7.4]
Geef een karakterisering van de waardenverzameling van een polymorf type
[C7.zelftoets]
De vragen op deze pagina komen uit de samenvatting van het volgende studiemateriaal:
- Een unieke studie- en oefentool
- Nooit meer iets twee keer studeren
- Haal de cijfers waar je op hoopt
- 100% zeker alles onthouden
