Type theorists are people who understand arrows very well -- as long as those ar... | Hacker News

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

		kazinator on July 7, 2017 \| parent \| context \| favorite \| on: Where Do Type Systems Come From? Type theorists are people who understand arrows very well -- as long as those arrows aren't pointers. :)

igravious on July 8, 2017 [–]

ba-dum tss! are you here all week?

kazinator on July 8, 2017 | [–]

Sure---if catering keeps that sirloin roast coming for another seven days. Have you tried it?

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