Samenvatting hoofdstuk 7: Evaluator met Expliciete Controle
5 views 0 purchase
Course
Interpretatie van computerprogramma\'s I
Institution
Vrije Universiteit Brussel (VUB)
Book
Structure & Interpretation Computer
Dit is de samenvatting van het zevende hoofdstuk van het vak Interpretatie van Computerprogramma's I. In deze samenvatting werd zowel alle informatie uit de slides als bijkomende informatie uit eigen notities opgenomen. Aan het einde van de samenvatting werden ook de herhalingsvragen opgelost
EI...
Hoofdstuk 7: Evaluator met expliciete
controle
1 Motivatie
• In de evaluatoren tot nu toe: volgorde waarin de operands van een functie-applicatie worden
geëvalueerd hangt af van de implementatie van cons
o Cons is primitief dus we zijn afhankelijk van iemand anders zijn implementatie van
cons
• Met deze evaluator wordt de volgorde waarin operands geëvalueerd worden veel explicieter.
o Verder ook duidelijk hoe staartrecursie-optimalisatie werkt
• Geïmplementeerd als registermachine
o Evaluator voor Scheme in registermachinetaal, bovenop simulator voor
registermachinetaal geschreven in Scheme, bovenop DrRacket
2 Definitie van registermachine voor ec-eval
(define eceval
(make-machine
'(exp env val proc argl continue unev)
Lijst van benodigde registers
eceval-operations
Hulpprocedures van de meta-circulaire evaluator zijn beschikbaar als
primitieven
'(
read-eval-print-loop
…
registermachinecode
)))
• exp bevat de te evalueren uitdrukking
• env bevat de omgeving waarbinnen de evaluatie gebeurt
o pointer naar de omgeving
• val bevat de uit evaluatie resulterende waarde
• continue ondersteunt verschillende sprongen naar zelfde subroutine
o enorm belangrijk voor implementatie
• proc bevat het procedure-object waarnaartoe een operator evalueert
• unev bevat een lijst van nog te evalueren expressies (bv. operanden)
• argl bevat de waarden waarnaartoe een lijst van operanden evalueert
1
, 3 Implementatie van read-eval-print lus
(define (get-global-environment)
the-global-environment)
read-eval-print-loop
(perform (op initialize-stack))
Nieuwe aanroep v/d REPL --> stack opnieuw initialiseren waardoor
brol van vorige uitvoeringen weg is.
(perform (op prompt-for-input) (const ";;; EC-Eval input:"))
Vragen naar invoer gebruiker
(assign exp (op read))
Exp = wat de gebruiker ingeeft
(assign env (op get-global-environment))
Env terug op globale omgeving zetten
(assign continue (label print-result))
Cont begint op subroutine print-result
(goto (label eval-dispatch))
Sprong naar subroutine eval-dispatch
print-result
(perform (op announce-output) (const ";;; EC-Eval value:"))
(perform (op user-print) (reg val))
Uitprinten van resultaat = printen inhoud val register
(goto (label read-eval-print-loop))
Nieuwe oproep van REPl nadat resultaat geprint werd
unknown-expression-type
(assign val (const unknown-expression-type-error))
(goto (label signal-error))
unknown-procedure-type
(restore continue)
Zie sprong vanuit apply-dispatch
(assign val (const unknown-procedure-type-error))
(goto (label signal-error))
signal-error
algemene subroutine om fout mee te melden
(perform (op user-print) (reg val))
Print het soort fout --> staat in register val
(goto (label read-eval-print-loop))
Nieuwe oproep REPL
4 Syntactische analyse
eval-dispatch
subroutine die aan de hand van het soort expressie doorverwijst naar
gespecialiseerde subroutines.
(test (op self-evaluating?) (reg exp))
(branch (label ev-self-eval))
(test (op variable?) (reg exp))
(branch (label ev-variable))
(test (op quoted?) (reg exp))
2
The benefits of buying summaries with Stuvia:
Guaranteed quality through customer reviews
Stuvia customers have reviewed more than 700,000 summaries. This how you know that you are buying the best documents.
Quick and easy check-out
You can quickly pay through credit card or Stuvia-credit for the summaries. There is no membership needed.
Focus on what matters
Your fellow students write the study notes themselves, which is why the documents are always reliable and up-to-date. This ensures you quickly get to the core!
Frequently asked questions
What do I get when I buy this document?
You get a PDF, available immediately after your purchase. The purchased document is accessible anytime, anywhere and indefinitely through your profile.
Satisfaction guarantee: how does it work?
Our satisfaction guarantee ensures that you always find a study document that suits you well. You fill out a form, and our customer service team takes care of the rest.
Who am I buying these notes from?
Stuvia is a marketplace, so you are not buying this document from us, but from seller lennyS. Stuvia facilitates payment to the seller.
Will I be stuck with a subscription?
No, you only buy these notes for $3.72. You're not tied to anything after your purchase.
