What do you mean with greater program complexity in this context? | Hacker News

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

		nicce 40 days ago \| parent \| context \| favorite \| on: Why don't you use dependent types? What do you mean with greater program complexity in this context?

paulddraper 40 days ago [–]

Dependent types require additional source code.

That is true of static types in general.

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