Re:The Rustonomicon: The Dark Arts of Advanced and Unsafe Ru...
by Gankro on Monday July 11, 2016 @12:12AM
(#12068842)
This is, to some extent, moving the goal posts. You're considering "total correctness" whereas the focus of this stuff is largely "only" memory-safety.
[ Parent
| on HN ]
Re:The Rustonomicon: The Dark Arts of Advanced and Unsafe Ru...
by jerf on Monday July 11, 2016 @08:59AM
(#12070706)
I would have been moving the goal posts if I didn't acknowledge that you generally get "good enough" code from what we're doing now. The point is that even being embarrassingly testable isn't a total panacea, though.