Idris 1.0 Released

Well it's hard to compare apples to oranges. Like you, I can't get enough Coq. I love telling my friends about the Coq, they get a mouthful from me every day. Probably it's been several years since I've went without at least dabbing the Coq once or twice a day. I mean compare it to a language like Go. You can ruby the coq through bindings but the golangs will explode with buffer overflows. However I recently learned about the D. It's like comparing floppies to hard d's. You may not think of D as functional, my ex wife disagrees, but it has "pure" functionality. By going the way of pure D, you won't have a problem if it's fully functional. My husband and I fans of pure D and try to integrate as much Coq as possible for when we need to make sure servicing our D does not go down. Now D is not purely functional and it may be more liable to down ever now and again. If you want to be sure Idrise, it's hard to compete. If you do make Idrise , you'll want to use emacs. Emacs lets me pull and yank buffers between my D while Idrise. The point is, rust is better.

/r/programming Thread Parent Link - idris-lang.org