Transformation of Applicative Specifications into Imperative ...

CHAPTER 3. TERMINOLOGY
Example 3.5 – Implicit observer
type
T = Int
value
f : Int → Int
f(x) ≡ x + 1,
implicit_obs : T → Int
implicit_obs(t) ≡ f(t)
Implicit Generator
An implicit generator is a function which implicitly converts a value of a
certain type into an equivalent type of interest during the evaluation of the
function body, see Example 3.6.
Example 3.6 – Implicit generator
type
T = Int
value
f : T → Int
f(t) ≡ t + 1,
implicit_gen : Int → Int
implicit_gen(x) ≡ f(x + 1)
T-generator
A T-generator is a generator returning a value of the type T, that is a
generator with the following single typing in the applicative case:
gen : ... → ... × T × ...
16