4 ms·
And indeed a programmer can vet the code as he browses it, by using a data type like the one I gave above, just by making sure all user input methods have type
by rtra 18y ago
And indeed a programmer can vet the code as he browses it, by using a data type like the one I gave above, just by making sure all user input methods have type UnsafeString, and all output methods had type String, with UnsafeString as an abstract data type.
- ErrantX 18y agoyes but your still stuck on type there... those are things that can easily fail (or be made to file) at the compiler or on runtime. What about logic errors - which is what this is supposed to help fix?