We talked about the syntax world vs the semantics world.
Where does type-checking belong?
In the runtime world
In the semantic world
It’s a third world
It’s unrelated to how code runs therefore the question doesn’t make any sense.
In the syntactic world.
How many identifiers do we have in this program:
(Reminder: each identifier comes from one binding occurrence.)
Answers were 1–6, or 7 for “0”.
I just said:
This will work if we evaluate the named
funexpression to itself.
What’s the horrible thing I did in this sentence?
We can drop the
with from FLANG because we can replace any use:
Is this symmetric? – Could we similarly drop the
manage with just
withinto two independent features