LuKuangChen / stacker-2023

A notional machine for the SMoL languages
14 stars 0 forks source link

Provide various options on "optimization" of the semantics #19

Open LuKuangChen opened 4 months ago

LuKuangChen commented 4 months ago

GC (#18) is one of those.

Tail-call optimization is always on. We might want to allow turning it off.

Perhaps not to create a new environment when there is no new binding in a function call? This will avoid creating empty environment frames when evaluating thunks.