IMO, this argument is a red-herring: you can write bad code in any language.
Perl lit is awesome and erudite: the best idioms are described in the Cookbook. Programming Perl is a joy to read, Best Practices could be used as a standards guide.
I agree that v5 has some problematic constructs, but, all in all, what Larry Wall & Co did was awesome.
>IMO, this argument is a red-herring: you can write bad code in any language.
I would be delighted to see you cause a segfault in Haskell without taking advantage of an implementation bug.
The point isn't that you can or cannot write bad code in any language, it's not that simple. It's a matter of how difficult a language's semantics, type-checking, logical structures, and faculties make it to traverse the spectrum towards bad code.
Python has clean indentation baked in at the implementation. All major interpreted languages don't allow you to muck around with pointers.
Functional languages strongly discourage mutability. Object oriented languages are really just a foil for context scoping in various ways combined with somewhat sanitary code-reuse that is less likely to introduce type or memory sharing bugs.
It really bothers me when people say, "you can write bad code in any language". Of course you can, but that ejects the subtlety and reality of the matter into vacuum. You cannot disregard the effect of the programming environment on the code, and the supposed canard of Perl's write-once read-never is not false but rather, a tendency that it facilitates.
I mean, have you seen the number of operators in Perl?
While this makes Perl the king of golfing, the mental context it consumes to remember all the operators someone else may use in their code (but that you do not) makes reading their code a non-trivial task.
This is precisely the thing people complain about when comparing (unfavourably) C++ to C. There's just too much syntax and too many complicated interactions that make it nearly impossible to reason about what the code does, let alone any degree of referential transparency.
Potentially one of Lisp's most powerful attributes is as you may have heard, the lack of syntax. The one ever-present syntactic feature in Lisp (paren) is widely mocked as well by detractors!
Perl is awesome. It's erudite. It's a fantastic means of parsing and manipulating text (I vastly prefer Perl to awk/sed abuse except for in-line commands.) Perl documentation is really good too.
All the meta of what makes a languages pleasant to use, is mostly there for Perl, but the language itself is a syringe of heroin and rat poison, just begging you to abuse the power.
And don't mention CPAN. People who accuse Python libraries of being written by amateurs haven't seen the manifest horrors that exist in CPAN. Rubyists have it good by comparison.
Can we please drop the "you can write bad code in any language" line now?
> It's a matter of how difficult a language's semantics, type-checking, logical structures, and faculties make it to traverse the spectrum towards bad code.
You mean a different kind of "bad code" than the comment to which you replied.
Ruby, Python, Haskell, Prolog, ML, CL -- none of these languages prevent malicious or inexperienced coders from choosing poor identifiers, violating encapsulation, abusing or ignoring language-specific idioms, or designing a big ball of mud.
> I mean, have you seen the number of operators in Perl?
I agree with you regarding Perl, but you're completely wrong regarding Haskell and Python. Both languages, though high-level, allow direct unchecked access to pointers.
> I would be delighted to see you cause a segfault in Haskell without taking advantage of an implementation bug.
import Foreign
main = peek nullPtr
Or, more complicated but less obvious:
import Data.Typeable
import Data.ByteString
data Wrap a = Wrap a
deriving (Show)
instance Typeable (Wrap a) where
typeOf _ = typeOf ()
main = let Just (Wrap bad) = cast $ Wrap () in print (bad :: ByteString)
> Python has clean indentation baked in at the implementation. All major interpreted languages don't allow you to muck around with pointers.
>>> import ctypes as c
>>> c.string_at(0)
Segmentation fault
This isn't really part of the usual work environment. Just because you can import a library and go nuts with it doesn't mean it's an everyday part of the language.
I mean really, kind of missing the point don't you think?
It's not even like Haskell makes it trivial to mutate the pointers in a natively Von Neumann-esque manner.
Monads don't count either.
Example: how often have you seen unsafe C# code (pointers) used in a production web app?
Counterpart to the above: How often do you see pointers used in C? All the time
Presenting the pathological case isn't refuting what I'm saying, it's just affirming it by showing how far you have to go out of your way to abuse your memory access, whereas in C, it's just a part of how you code. (Functors, for example.)
Pointers are absolutely part of the average Haskell and Python work environment -- it's impossible to get reasonable performance without them. Of course, Python programmers like to stick the important parts in an extension module (written in C, naturally), close their eyes, and pretend they're not doing anything "unsafe".
> It's not even like Haskell makes it trivial to mutate the pointers in a natively Von Neumann-esque manner.
Haskell has a module specifically for manipulating pointers[1]. There's no inherent safety in using Haskell rather than C for pointer based code.
> Monads don't count either.
This sentence makes no sense, and makes me think you've never (or seldom) used Haskell before.
> Example: how often have you seen unsafe C# code (pointers) used in a production web app?
Somewhat often -- pointers are used in database adapter, template engines, graphics rendering, and any code which needs to call into foreign libraries.
> Counterpart to the above: How often do you see pointers used in C? All the time
That's because C is used in code where performance is absolutely critical, which demands having control over memory layout and management. Pointers aren't a symptom of using C -- using C is a result of needing pointers.
Strictly, both of these are possible. Technically, it's well known that type systems cannot be perfect in the sense of consistency and finding all "good" programs. Therefore, socially, it's known that there are bad neighborhoods like Foreign, Typeable, and System.IO.Unsafe where one has to be extremely careful while playing around.
So, sure, you make a great, fun technical point, but at the same time Haskell as a language and a community has very, very carefully worked to make sure people don't make segfaults — actually, they tried to make sure people don't even write ugly code with polluted namespaces and odd global state.
The overall point the post you replied to was trying to make, it seems to me, was that it's not about what bad things you can or can't do in a language, it's about whether the language encourages or facilitates bad habits. You can muck about with pointers in Haskell, but it's made very obvious - by the community, by the documentation, by the typesystem - that you're doing something potentially unsafe and risky. Similarly, though perhaps a little less so, with Python etc.
As has been said before, it's not important what a language makes possible, so much as what it makes easy -- and, I'd like to add, what it makes hard.
I've written a complex ruby library and then ported it to perl. Since both languages are basically the same in their capabilities the port was very straightforward. I know both languages fairly well, but if I go back to the ruby version I can read it just fine, while if I look at the perl version it looks like a morass of symbol soup. The language has so much unnecessary syntactic noise that even what I would consider well-written Perl code that I've personally designed and written is still too difficult to read.
Also, from my personal experience, in general the average quality of Perl code I've seen, whether it's CPAN libraries or code at I see at work, is much less than the average quality Python and Ruby code I see, which is more of a community problem than a language one, although Perl being the way it is seems to attract a certain class of developers I would rather not have to work with.
I suppose I can't prove to you that I know Perl very well any more than you can prove to me that you actually tried to port a library over to a language without even bothering to learn the language. The latter sounds kind of stupid to me.
I hear you. I stopped waiting for Perl 6 a long time ago; that has freed me to enjoy Perl 5 more fully. Most of the stuff I do these days is Perl with the Catalyst web and DBIx::Class database frameworks, but I like Rails a lot too and I use it when it's a good fit.
I like the Ruby language a lot; the whole method_missing system beats AUTOLOAD hacks and I like Ruby's standard classes and core libraries. The Smalltalk influence is nice too; I like when an "OO language" feels object-oriented all the way down.
Fun to hack around, but then you have to maintain someone else's Perl, or write a large application in it, and the endless facepalming begins.