Comment on Pixie: A sweet Clojure-ish languageparentComments−JackMorgan11yAbsolutely 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.−pjmlp11yI have been following Idris, quite cool.
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.
I have been following Idris, quite cool.