undefined | Better HN

0 pointsJackMorgan11y ago0 comments

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.

0 comments

pjmlp11y ago

I have been following Idris, quite cool.

j / k navigate · click thread line to collapse

0 pointsJackMorgan11y ago0 comments

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.

pjmlp11y ago

I have been following Idris, quite cool.

j / k navigate · click thread line to collapse