51–55 of 55 posts
Earlier quoted context omitted.
Incorrect: ACL2, an industry-standard automated theorem-prover, is written in a side-effect-free variant of Common Lisp. It has both an implementation and users, including users outside of academia. http://en.wikipedia.org/wiki/ACL2
I guess both (no implementations, no users) were meant in relative terms, and in that light they describe reality pretty well. Hands up, who has heard of ACL2 before?
Earlier quoted context omitted.
I guess both (no implementations, no users) were meant in relative terms, and in that light they describe reality pretty well. Hands up, who has heard of ACL2 before?
I did. In fact, I am appalled so few people, apparently, heard of it.
What's next, you're going to tell me you write unit tests? Hahahahah.
And this affects me as a Python user how, exactly?
To down-voters: this is a valid question, and something I cut from the original post (trying to keep to meta-discussion). I'm hitting one related issue right now at work: we want to switch to Jython to take advantage some JVM features, but need to weigh the risk that it might never move past Python 2.5 syntax [1]. That's not a deal-breaker, but I'm an enormous fan of where Python syntax has gone since then, so it pai…
Earlier quoted context omitted.
I did. In fact, I am appalled so few people, apparently, heard of it.
Any programming language that can't be cut-n-pasted from fifty different websites to make my SQL-injection-rich AJAX social awesome NoSQL site just isn't worth knowing. Theorem proving -- you ain't gonna need it! What's next, you're going to tell me you write unit tests? Hahahahah.
This is interesting, but I don't know that reality matches the author's theory. After all perl 6 is hardly a shining example of how a language should be upgraded. It's been in the works for at least a decade. Say what you will about python 3, but at least it exists and has been released.
> Say what you will about python 3, but at least it exists and has been released. Yeah, and nobody is upgrading because it doesn't give you much incentive unless you enjoy breaking backwards compatibility. It has also been in development for at least 5 years. I don't get why people get version numbers so literally. Perl6 is a new language inspired by Perl5. Python 3 is just a minor enhancement that happens to break b…
The libraries becoming available is going to take a little while... work is being done to make pygtk available.
Numpy is a big library widely used - when this arrives then others will follow (I'd give it two years or so).