3 ms·
Compilers 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
by 3836293648 5y ago
Compilers 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.