Abstractie van procedures
8 belangrijke vragen over Abstractie van procedures
Geef een omschrijving van het begrip abstractie
Het begrip abstractie gebruiken we ook voor het abstraheren van taalconstructie. Een entiteit die een bepaalde expressie bevat die pas wordt uitgevoerd op het moment van aanroep, noemen we een abstractie
Geef een omschrijving van het begrip argument
Een procedure is vooral flexibel als er nog open plaatsen in kunnen staan die pas bij aanroep worden gevuld. Bij de definitie van de procedure duiden we de open plaatsen aan door een naam: de formele parameter.
Een procedure is vooral flexibel als er nog open plaatsen in kunnen staan die pas bij aanroep worden gevuld. Bij de definitie van de procedure duiden we de open plaatsen aan door een naam: de formele parameter.
Bij aanroep van de procedure wordt een expressie meegegeven: een actuele parameter
De waarde van een expressie als actuele parameter heet argument
Geef een omschrijving van het begrip aliasing
- Hogere cijfers + sneller leren
- Niets twee keer studeren
- 100% zeker alles onthouden
Geef een omschrijving van het begrip eager evaluatie
Geef een omschrijving van het begrip lazy-evaluatie
Geef een omschrijving van het begrip (niet) strikte functie
Een functie die alleen kan worden geëvalueerd als al haar argumenten moeten worden geëvalueerd is strikt.
Noem 4 mogelijke abstracties van taalconstructies en - behalve van generieke abstracties - het doel ervan kunt uitleggen
Selector procedure
generieke abstractie
Formuleer de Church-Rosser-eigenschap en geef aan welke talen voldoen aan deze eigenschap
Zuiver functionele talen zonder neveneffecten bezitten deze eigenschap. n deze talen leidt lazy evaluatie altijd tot exact hetzelfde resultaat als normal-order-evaluatie. Haskell is een zuiver functionele taal en bezit dus de Church-Rosser-eigenschap
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