Geef een omschrijving van het begrip statische en dynamische scoping

  • Een taal is statisch gecoped als de body van een procedure wordt uitgevoerd in de omgeving van de procedure definitie Dus kunnen we tijdens de compilatietid beslissen welke binding voorval van een identifier correspondeert bij een gegeven toegepaste voorval.
    Een taal is dynamisch gescoped als de body van een procedure uitgevoerd wordt in de omgeving van de procedure aanroep. Deze omgeving verandert van de ene procedure aanroep naar de andere procedure aanroep, dus kunnen we pas tijdens run-time zien welke bindings er zijn van een identiefier correspondeert me een toegewezen voorval.
    Haskell, Javaen andere moderne talen kennen statische scoping.

    Rapporteer Plaats commentaar