Absolutely right, I was just comparing with the dominant Java or Python. Depende... | Hacker News

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

		JackMorgan on March 9, 2015 \| parent \| context \| favorite \| on: Pixie: A sweet Clojure-ish language Absolutely right, I was just comparing with the dominant Java or Python. Dependent typing is some cool stuff, I'd love to see more of it.

pjmlp on March 9, 2015 [–]

I have been following Idris, quite cool.

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