3 ms·
How is "safe C" a variant language when it is within what the standard allows?
by dependenttypes 6y ago
How is "safe C" a variant language when it is within what the standard allows?
- Dylan16807 6y agoThe unsafeness of C is pretty widespread and fundamental. Whatever code you end up with is either going to be incompatible with normal compilers, or it's going to be so full of library calls that you can barely recognize it as C anymore. Unless you count sandboxing the entire program, and allowing errors inside the sandbox as long as they don't escape. Then C-to-WASM would be a safe C compiler, I guess.
- dependenttypes 6y ago> Whatever code you end up with is either going to be incompatible with normal compilers I do not believe that this is necessarily the case.