News for hackers. Stuff that matters.

A comment on Errors in Go: From denial to acceptance. Parent comment

Re:Errors in Go: From denial to acceptance by oleganza on Monday November 26, 2018 @06:57PM (#18537949)
If your type system is powerful enough (like in Rust), then you can use it to express relations in your problem domain and have compiler enforce them for you before the code even runs.

Example: https://blog.chain.com/bulletproof-multi-party-computation-i...

[ Parent | on HN ]
Re:Errors in Go: From denial to acceptance by spenrose on Monday November 26, 2018 @08:38PM (#18538582)
I think you missed the "unless" in my question. I am well aware that having chosen to treat types as a first class problem, a coder can leverage that intent. My point is simply that there is a populous, productive world of software development in which typing is a humdrum issue for the coders. C.f. the last 30 years of Javascript and Python
[ Parent | on HN ]