3 ms·
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.
by JackMorgan 12y ago
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 12y agoI have been following Idris, quite cool.