3 ms·
Not in memory safe languages, sorry.
by rurban 5y ago
Not in memory safe languages, sorry.
- woodruffw 5y agoI'm not sure I understand. Rust is memory safe, and the memory unsafety happening here isn't in Rust itself: an IR generation bug in Rust is causing memory unsafety in LLVM, which is written in C++. (Besides: If GitHub's stats are correct, `ponyc` seems to be >60% C and C++?)
- saghm 5y agoCompilers for memory-safe languages can't have bugs in them?
- 3836293648 5y agoCompilers for memory safe languages written in the same memory safe languages should be expected to have to same guarantees as any other program written in that language
- UncleEntity 5y agoI think that’s the fifth Futamura projection — compiling a compiler with itself cancels out bugs.