6 ms·
> What was meant is that they are, at least in our pretty firm opinion, issues with C I am very interested in the idea that ML can maintain security correctnes
by ctz 12y ago
> What was meant is that they are, at least in our pretty firm opinion, issues with C
I am very interested in the idea that ML can maintain security correctness under source line duplication.
It should be pretty easy to check for this condition too: for every line in every file, duplicate it. Discard instances where this causes invalid syntax; this will be most of them. Now either by running a test suite or inspection, see what the effect was on the program semantics.
- pqwy 12y agoSounds like a nice exercise, I'll try it. But since by and large the lines we have are expression and not statements (the core handler is purely functional, using a monad to thread errors through), this amounts to type errors immediately.