in reply to Re^13: Data Structures
in thread Data Structures

not all of us are as speed obsessed as you seem to be.

Was that a personal dig? Never mind.

IO-bound programs are essentially event-driven. That means state machines, which virtually precludes good encapsulation, or even good abstraction.

Many applications are performance intensive (cpu-bound, data-bound), rather than IO-bound. And indeed, cpu-intensive applications are exactly the ones which most benefit from OO. That's why so many of the graphic simulations of cpu-intensive algorithms (from sorts to searches to the travelling salesman and other NP=hard problems), are written in Java. OO allows the mechanics of the graphics simulation to be separated (encapsulated) from the mechanics of the algorithms being simulated. The algorithm is just coded to operate on an extended data-structure (eg. a subclassed array or hash) and the internals of the enhanced DS take care of displaying the effects of the algorithmic actions upon that DS.

Perl is getting faster (the Moose and Class::MOP test suites both run noticeably faster in 5.10)

Perl is getting faster, because they (p5p) optimise for performance. Because they realise that the performance of their code impacts the performance of every piece of code built on top of it. Perl deserves to have the power and completeness of the OO-implementation that Moose gives them, so that Perl users can get on with the business of writing their applications instead of reinventing the OO wheel each time around.

That's what impresses me about Moose. The clear, clean (and in its basic form, simple) interface to a complex infrastructure that can do pretty much anything that is required. You can start out writing just as much code as you need to get the application running with a few 'has this' and 'has that' and 'extends something else' for each of your classes, and then get right on with writing the detail of the application using those classes. Once you have the application running, you can go back and enhance the classes to parameter typing, pre- & post- contracting, introspection and all the other good stuff required to make it robust. But you can prototype it quickly without all the frills and and if you have to scrap it and start again (that's what prototypes are for!), then you haven't needed to expend effort adding the frills before you found out whether it was going to work. That's what really impresses me about Moose. The ability to get something going quickly without have to cross every T and dot every I, safe in the knowledge you can go back and add the frills as and when you need them. But...

Any library that sits at the core of other peoples applications, like Perl itself, should do its utmost to impose as few performance penalties as possible. I think people writing cpu-intensive applications (like tos) deserve Moose (or something very similar to it). Then they could get on with the business of writing their applications and not re-inventing OO mechanisms (badly!). And, on the basis of my limited exploration of Moose guts, I truly believe that it wouldn't take a huge effort to reduce the performance penalty for using it to the point where it wouldn't have to advertise itself as for "non-performance critical applications only". It might require the dropping of a few Holy Cows though.

I totally disagree, this is a performance intensive application, and Moose has well known performance issues.

Graphical apps like tos' are only one of a whole range of non-IO-bound applications that would really benefit from a sound, extensible, thorough but essentially simple (interface-wise) OO-framework like Moose. And given the obvious skill-levels and motivation of the Moose team, it's my belief that it could be Moose, if the motivation was there to make it so.

Anyway, I'll get off your case now. Congratulations on what you've already achieved with Moose.


Examine what is said, not who speaks -- Silence betokens consent -- Love the truth but pardon error.
"Science is about questioning the status quo. Questioning authority".
In the absence of evidence, opinion is indistinguishable from prejudice.
"Too many [] have been sedated by an oppressive environment of political correctness and risk aversion."

Replies are listed 'Best First'.
Re^15: Data Structures
by stvn (Monsignor) on May 24, 2008 at 04:28 UTC
    Was that a personal dig? Never mind.

    Not at all, IIRC you and I have had debates/discussions about this before. And I know you have debated this with nothingmuch too. Would you classify yourself as not performance obsessed? Maybe obsessed is too strong a word for you, but you get my point.

    No, not a dig at all, I would have been much more snide and condescending if was going for that ;)

    Many applications are performance intensive (cpu-bound, data-bound), rather than IO-bound. And indeed, cpu-intensive applications are exactly the ones which most benefit from OO ...

    Well, any application over a given size benefits from OO (or some similar modularization construct). I would argue that CPU-intensive applications while maybe benefiting from the encapsulation and modularization bits of OO would not benefit from the heavy abstraction of OO (boxed types, etc). It is also worth pointing out that languages like Java, C++ and even Ocaml/Haskell have the benefit of optimizing compilers and no need for runtime type information due to static analysis. It is very easy for the compiler (at compile time) to remove lots of information that would otherwise slow down an application. It is not so easy for a dynamic language like Perl (or Python, or Ruby) to do this. The real point being, there is always trade-offs and language choice is one place you make those trade-offs. If my application is cpu-bound then I would likely not use Perl (or at least not 100% Perl) simply because I would have to make too many compromises for performance and not be able to use nice things like OOP.

    And, on the basis of my limited exploration of Moose guts, I truly believe that it wouldn't take a huge effort to reduce the performance penalty for using it to the point where it wouldn't have to advertise itself as for "non-performance critical applications only". It might require the dropping of a few Holy Cows though.

    Want a commit bit? I am open to thoughts about dropping cows and such.

    -stvn

      That the very reason for choosing tos' Rubix Cube. As bad as the code is,

      1. It is already, 95% or more OO structured.

        And none of the places where it breaks from good (in the Perl 5 roll-your-own standard of) OO mechanisms, are done for performance reasons. Just because tos didn't know how to achieve what he needed using those OO techniques, and wanted to get on with writing his application.

        If he could have let some framework do the OO bit of it, the rest is just fine.

      2. It demonstrates that it is quite possible to write this kind of app using Perl.

        Right now. No C. No Java. No convoluted low-level optimisations. Just very ordinary Perl, that's (sort-of) OO to boot.

        No need to go learn another language. No need to give up all the things we all love about using Perl. Not even the need to resort to (and have to learn) Inline::C or PDL or anything else. It runs at a more than acceptable redraw rate. If only the OO were cleaner...

      C'est la vie.


      Examine what is said, not who speaks -- Silence betokens consent -- Love the truth but pardon error.
      "Science is about questioning the status quo. Questioning authority".
      In the absence of evidence, opinion is indistinguishable from prejudice.