Why aren't statically typed programs really just dynamically typed programs wher... | Hacker News

HN2new | past | comments | ask | show | jobs | submit

		kbp on Aug 12, 2019 \| parent \| context \| favorite \| on: Python Is Eating the World Why aren't statically typed programs really just dynamically typed programs where all the types happen to be statically inferable?

grumpyprole on Aug 13, 2019 [–]

Because most statically typed languages allow us to define our own types, add type signatures to constrain etc. Dependently typed languages also allow types to depend on values. Inference is useful, but only one aspect of static typing.

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