> it’s just not a terribly statically verifiable language

FYI, neither is scheme.