Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

I think this is actually a failure in mainstream programming languages, which make it far too easy to reach across what's meant to be a defined subsystem boundary and meddle where you shouldn't.


They also have to weak tools to automate enforcing contracts. Generally the only available tool is "assert".




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: