|
|
|
[Make it clear that
this is all completed work; I have solved these problems.]
|
|
A naive
implementation wouldn’t (and didn’t) produce that exact output. The simplified picture I have given you so
far isn’t enough; it wouldn’t produce all the output you saw in the initial
examples, and it would produce other undesirable output. I will now give some additional details.
|
|
|
|
Discuss what
relevance is.
|
|
|
|
Unused
polymorphism: overly wide types.
|
|
|
|
I will discuss each
of these in turn.
|
|
|
|
Collectively/overall,
how much improvement? I can’t say,
because these are not just quantitative but qualitative improvements.
|
