Some GC based language with dependent types. | Hacker News

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

		pjmlp on Sept 21, 2021 \| parent \| context \| favorite \| on: Taming Go’s memory usage, or how we avoided rewrit... Some GC based language with dependent types.

square_usual on Sept 22, 2021 [–]

Nim is on the way up in HN posts...

Zababa on Sept 22, 2021 | [–]

Nim has dependent types?

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