@phoe Yeah, I'm aware of that. The Python people at least call it "gradual typing" and it's really nice, but CL naturally had it like 30 years before anyone else.

My main priority is the safety rather than the performance, to be honest