News for hackers. Stuff that matters.
Re:The memory safety problem isn't bad coders by zaphar on Tuesday February 12, 2019 @01:07PM (#19145892)
I vote for all three.

    * Types so I can prevent all the low hanging fruit.
    
    * Contracts so I can encode invariants that the types 
      can't always express.

    * Conventions so that everyone is talking the same 
      language and there is less confusion

There are no comments on this comment yet.