3 ms·
I think you are using a different definition of "safe" than Rust folks use.
by zbentley 8y ago
I think you are using a different definition of "safe" than Rust folks use.
- Ericson2314 8y agoActually this is for any definitional of "safe". The important part is codomain vs range. As long as the target language allows source language invariants to be preserved (by explicit proof or by construction (proof in meta theory)), I'd call it sugar. This doesn't obviously match with Felleisen's notion of expressitivity (which might be used to draw the line between desugaring and general compilation), but I think I like it better. I value invariants over expressiveness.