I don't know the definition of "dependent type system" with enough precision to ... | Hacker News

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

		brundolf on Aug 7, 2022 \| parent \| context \| favorite \| on: A generically typed pipe function in TypeScript I don't know the definition of "dependent type system" with enough precision to know whether or not TypeScript technically counts as one, but it has lots of powerful capabilities that allow driving the type system via provided values

slaymaker1907 on Aug 8, 2022 [–]

I think it is technically a dependent type system, but not in the same way as say Coq or Idris.

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