3 ms·
Compilers for memory-safe languages can't have bugs in them?
by saghm 5y ago
Compilers 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.