We'll just have to disagree about this. I think intuition is incredibly importan... | Hacker News

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

		Tainnor on July 8, 2020 \| parent \| context \| favorite \| on: Division by zero in type theory: a FAQ We'll just have to disagree about this. I think intuition is incredibly important both in mathematics and in programming.

klodolph on July 8, 2020 [–]

We agree that intuition is important, I think we disagree about where it comes from. Intuition comes from experience. A programming language is “intuitive” because it conforms to your previous experiences with programming languages.

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