How do you feel about dependently typed systems? | Hacker News

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

		tel on Jan 13, 2014 \| parent \| context \| favorite \| on: Hindley-Milner in Clojure How do you feel about dependently typed systems?

ufo on Jan 13, 2014 [–]

Sage has dependent types so he probably likes them.

tel on Jan 13, 2014 | [–]

Ah, I misread the intro blurb.

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