[JackMorgan]

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]

I have been following Idris, quite cool.