4 ms·
> [PreScheme] doesn't do automatic garbage collection itself, and I think Rust has shown that this area could be improved for a more modern PreScheme system. I
by twic 4y ago
> [PreScheme] doesn't do automatic garbage collection itself, and I think Rust has shown that this area could be improved for a more modern PreScheme system.
I strongly doubt this (because Rust's ability to manage memory safely and efficiently comes from its saucer-science static type system), so i strongly encourage the Guile/Scheme/LISP community to attempt to do it!
- rurban 4y agoThat would be a good idea, if rust actually would implement memory safety, type safety and concurrency safety. the first goal is stated in the docs, but violated by its implementation, the other two are not even fulfilled by their specs. what's missing is concurrency safety for lisp. and enforcing compile-time type safety in the proposed lisp kernel. not just the usual run-time type safeties. lisp can ignore the unsafe POSIX architecture (esp. blocking IO), so there's a chance.
- paroneayea 4y agoPreScheme was statically typed! It used Hindley-Milner!