I would lean towards types and property testing here using tools like Coq. | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		pclowes 6 months ago \| parent \| context \| favorite \| on: To be a better programmer, write little proofs in ... I would lean towards types and property testing here using tools like Coq.

aljgz 6 months ago [–]

Can you elaborate?

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact