And indeed a programmer can vet the code as he browses it, by using a data type ... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

rtra on Feb 9, 2009 | parent | context | favorite | on: Making Wrong Code Look Wrong (2005)

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 on Feb 9, 2009 [–]

yes 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?

Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact