Question 1 @ 2024-12-03 21:19

The subject of continuations (callbacks) and the translation of sequential code into “Continuation Passing Style”, fundamentally around:

---

• A Static analysis
• B Dynamic typing
• C Type inference
• D Polymorphism
• E Control flow
• F Lexical scope
• G Dynamic scope

Question 2 @ 2024-12-03 21:21

What can we say about the CPS process?

(Choose the best answer.)

---

• A

  It needs to be done selectively: locally in places that require IO.

• B

  It needs to be done globally, CPS-ing a function forces all its callers to be CPS-ed as well.

• C

  It needs to be guided by IO types similar to the Slug types.

• D

  It requires the original code to be functional code, and cannot work on imperative code.

Question 3 @ 2024-12-03 21:24

What are features of CPS-ed code?

(Choose all features that are relevant.)

---

• A All calls are tail calls.
• B It cannot be statically typed.
• C It can only be dynamically typed.
• D It cannot allocate new heap space.
• E It does not consume any stack space.
• F It never returns values, only passes values onto continuations.
• G It is sequentialized, meaning that evaluation order is fixed.
• H It can speed up computation due to tail call optimization.