Re:Why Is C Faster Than Java (2009)
by kobebrookskC3 on Monday December 27, 2021 @01:25AM
(#29699997)
afaik, the c is handwritten for performance reasons, and is manually proven to be a refinement of the executable haskell model. the haskell is then proven to be a refinement of an abstract, more succinct spec.
[ Parent
| on HN ]
Fine! Now we have a way to write guaranteed safe C code.
It requires quite a lot of qualification from the development team, though.
Re:Why Is C Faster Than Java (2009)
by kobebrookskC3 on Monday December 27, 2021 @02:59AM
(#29700465)
if ur fine with writing 4 lines of code a day from an expert...i guess
With endless bug-hunting in hastily-written C code, it could be fewer than 4 lines a day of completed code. (I hope nobody actually does so poorly, except while learning C.)
Re:Why Is C Faster Than Java (2009)
by kobebrookskC3 on Monday December 27, 2021 @04:12AM
(#29700855)
of course, with unverified code, "completed" means absence of evidence of bugs, not evidence of absence.