3 ms·

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 bounda

by endgame 10y ago

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.

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