oh, people will learn new stuff. they do all the time. i think they simply thoug... | Hacker News

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

		lucyjojo 48 days ago \| parent \| context \| favorite \| on: Why don't you use dependent types? oh, people will learn new stuff. they do all the time. i think they simply thought it was not worth it. in fine we have limited time on this planet.

tombert 48 days ago [–]

They will absolutely learn new stuff, but that stuff won't involve math, at least not formally. The second I've used any mathematical notation to describe anything, people just tune out.

anentropic 47 days ago | [–]

> The second I've used any mathematical notation to describe anything, people just tune out.

You stopped speaking their language

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