News for hackers. Stuff that matters.

A comment on Thoughts on being a programmer. Parent comment

Re:Thoughts on being a programmer by Ralith on Tuesday August 14, 2012 @01:01PM (#4381899)
Dependently typed programming languages can do the "express all the invariants" bit. Readability is an open question, though.
[ Parent | on HN ]

There are no comments on this comment yet.