This reminds me of the canonical scheme benchmarks: https://ecraven.github.io/r7rs-benchmarks/ https://ecraven.github.io/r7rs-benchmarks/ . I don't think compar

This reminds me of the canonical scheme benchmarks: https://ecraven.github.io/r7rs-benchmarks/ https://ecraven.github.io/r7rs-benchmarks/ . I don't think comparing schemes that guarantees safety to schemes that will happily run (car "hello") is very meaningful. It is of course nice to be able to opt out of safety for critical code, but I don't think most code should run in a way where a type error might corrupt memory. Especially not in a dynamic language.