This is how type systems work, you ground them in a strong theoretical foundatio... | Hacker News

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

		dylanowen on Sept 21, 2023 \| parent \| context \| favorite \| on: Strong arrows: a new approach to gradual typing This is how type systems work, you ground them in a strong theoretical foundation then build on top of that for actual consumption.

charcircuit on Sept 21, 2023 [–]

I'm not saying that having a foundation in bad, but you need the right foundation. If a foundation results in compile times ballooning people writing 100 line toy programs won't care, but people writing millions of lines will.

Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact