Beefy Boxes and Bandwidth Generously Provided by pair Networks
go ahead... be a heretic

Re^2: I dislike object-oriented programming in general

by erroneousBollock (Curate)
on Oct 20, 2007 at 06:25 UTC ( #646141=note: print w/replies, xml ) Need Help??

in reply to Re: I dislike object-oriented programming in general
in thread I dislike object-oriented programming in general

I don't know why, but I've always felt uncomfortable speaking of OOP as a programming paradigm (it was taught that way to me); rather it always seemed to me that perhaps OOD is a manner of abstraction that may apply to more than one programming paradigm.

The three main programming paradigms would obviously be "imperative", "logical" and "functional". Am I correct in believing that all three paradigms could host OOD practices ?

If that's the case, then we can say that the manner of abstraction is somewhat orthogonal to the operational semantics of the language:

  • O'Haskell is an object-oriented abstraction library for Haskell.
  • CLOS is an all-encompassing object system for Lisp.
  • LogTalk and OL(P) are examples of object-oriented abstraction libraries for Prolog.

Languages usually aspire to one paradigm (exceptions include languages like OCaml which implement both "imperative" and "functional" semantics).

Within languages, programmers often find ways to express other paradigms within the paradigm of the host language:

Anyone have any thoughts on this?


  • Comment on Re^2: I dislike object-oriented programming in general

Replies are listed 'Best First'.
Re^3: I dislike object-oriented programming in general
by vrk (Chaplain) on Oct 20, 2007 at 09:14 UTC

    The lazy answer is that these are all Turing complete programming languages, and can thus (skipping a few implicational steps) emulate each other. So yes, you are correct that given any Turing complete programming language, we can do object-oriented programming in it. Since all implementations of programming languages run on a computer, ultimately what you are doing is functional/imperative/logical/object-oriented programming in machine language.

    However, it's a separate thing to ask if the syntax and semantics of a programming language makes one paradigm easier or harder than the other. I find programming languages such as Scheme much easier to work with exactly due to minimalistic core features and closures: if I want objects, I'll just wrap the methods in a closure. Doing the reverse in, say Java, that is, using classes and objects to emulate closures entails creating a new class definition for each closure you use, then instantiating objects from them.

    Both are possible approaches, and as has probably been discussed in the monastery many times (sorry, I can't search right now), closures and classes/objects are just about equivalent. Now, many "functional" programming languages support objects (since it's really easy to do with closures) and many "object-oriented" programming languages support closures. Arguing which one is better is a source of much heat but usually little light.

    As for me, I'm prone to pick a programming language that has closures rather than one that only has objects, because I tend to use closures more.

    print "Just Another Perl Adept\n";

Re^3: I dislike object-oriented programming in general
by educated_foo (Vicar) on Oct 20, 2007 at 16:14 UTC
    I think you have a point. Logical programming describes what the solution looks like; functional, a set of transformations from initial conditions to the solution; imperative, a sequence of steps from here to there. OO describes... what? How a bunch of things interact in a system that, if you're lucky, gets you where you want? It's a useful way of breaking down problems in the imperative paradigm, but not really a new mode of thought.

Log In?

What's my password?
Create A New User
Node Status?
node history
Node Type: note [id://646141]
talexb mutters, "Those darned cosmic rays.", then gets back to coffee and code. There's plenty of both to go around.

How do I use this? | Other CB clients
Other Users?
Others examining the Monastery: (8)
As of 2017-04-25 14:45 GMT
Find Nodes?
    Voting Booth?
    I'm a fool:

    Results (454 votes). Check out past polls.