> academic PL research has diverged significantly from the kinds of problems peo... | Hacker News

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

		diarrhea on Sept 4, 2023 \| parent \| context \| favorite \| on: A Gentle Introduction to Liquid Types > academic PL research has diverged significantly from the kinds of problems people are really facing Was it ever not?

agumonkey on Sept 4, 2023 [–]

As soon as the programming landscape becomes too large.. PLT cannot address every crowd on the distribution. I guess he means that type theory is too far away from most people duties.

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