4 ms·
Compile to typed assembly language? https://www.cs.cornell.edu/talc/ https://www.cs.cornell.edu/talc/
by hayley-patton 3y ago
Compile to typed assembly language?
https://www.cs.cornell.edu/talc/ https://www.cs.cornell.edu/talc/
- mort96 3y ago> These typing rules guarantee the memory safety Huh, interesting. I'm very curious about how those typing rules ensure memory safety, presumably with neither something like Rust's borrow checker nor garbage collection. I didn't think that was possible.
- hayley-patton 3y agoTAL does use garbage collection; verifying that a GC behaves is another can of worms.