The value of a formal specification is the ability to reason about a program wit... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

augustk on July 23, 2022 | parent | context | favorite | on: How I went about learning Rust

The value of a formal specification is the ability to reason about a program without having to compile and run it (using a specific implementation).

vistro on July 30, 2022 [–]

Good luck reasoning about C++ code. After all static analysis, sanitizers and whatever dynamic analysis, you still cannot be really sure that your code will blow up with undefined behavior.

Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact