John Carmack on Functional Programming in C++

parent link: - 0010 Programming 👩‍💻 - book

---

http://sevangelatos.com/john-carmack-on/

I do not see formal proofs of whole program “correctness” becoming a relevant goal,
나는 전체 시스템이 항상 올바르게 작동함을 보장하는 증명방법이 존재하지 않는다고 본다.