Why not Nimlang? | Hacker News

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

		bishop_mandible on June 7, 2015 \| parent \| context \| favorite \| on: Unix is not an acceptable Unix Why not Nimlang?

Mr_T_ on June 7, 2015 [–]

Because Nim is not dependently typed. You can't get sh*t done without dependent types.

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