[eriksvedang]

Thanks for the links!

The short answer is that safety is handled similar to Rust, using lifetime analysis. It's quite a bit more simplistic than Rust at the moment though. Also, some checks are done at runtime (like bounds checking on arrays, when turned on).

[rurban]

Using the information on dependent types and some inference and eliminate run-time type checks in those cases would be a nice type-checker job, e.g. for the sicp/solver.

[nickpsecurity]

Ok. There we go. It's actually what I had in mind for PreScheme. You just gave me more confidence in it.