Re: Is Procedural Paradigm a basis of OO Paradigm?


Mark Nicholls wrote:

You are basically using
a variation of the age-old Turing Equivalency argument to claim OO is
a superset of procedural.

no I am not, I never mentioned it, and I don't see how it applies.

you seem to be making up flawed arguments in your head and then
claiming I said them.

Dude, grow some diplomacy skills. Why not simply say, "There seems to
be a misunderstanding between us" rather than a form of "your head is
probably broken". I suspect sinister/dumb behavior from at least half
of everyone I talk to in a given day. However, I don't suggest that
beleif to their face.

Sometimes I think the problem with the 'net is that in real life being
overly frank risks getting you a new set of teeth. There is no such
check on behavior on the 'net. (Sometimes that is good, but has big
downsides also.)



I was answering a specific question about OO and procedural
programming, I miss your point about pot pouri and any connection to
the relational model.

Here is the quote again:

it is trivial to consider procedural programming as a special case of
OO, OO gives you some extra bells and whistles that make life easier
(or more complex depending on what hat you've got on).

So does relational. Or functional, or logical programming, etc. You
seem to be arguing for paradigm potpurri.

You seem to be implying that *some extra* paradigms or language
features are good over not having them. Thus, I am testing the logical
extension of this by looking at the addition of other paradigms/
features. If more X is good, then more Y should also be good, if your
rule holds up. If I do so, OO is not the only addon game in town, AND
we do seem to be risking paradigm pot pouri, which is not universally
accepted as "good".


I am guilty of prejudging the line of your argument based on your
other posts.....i.e. linking every reference to OO as to some
reference to 'relational'.

If it works as an example, then it works as an example. Obviously it
is better to select a very familiar example on my part rather than
rotate them so that you don't get bored. Your boredom is not my
concern, to be frank.



I have not claimed anything about the semantics of execution.

But for the heck of it, here is a language-specific evidence that this
may not be true. In Java one cannot have a "global" function "print"
to make it C-like. Instead one has to do something like:

someArbitraryRedTapeSystemCrap.print(...);

It would probably have to abandon OOP to acheive such (or invent a
hidden "global" class, which is cheating).

-T--

Mathematicians 'cheat' all the time in the manner you reject......who
said anything about 'objects'....your mapping is to and from spaces of
strings, and yet the little '.' seems to have upset you....is the set
of even numbers smaller than the set of integers....because the
classic construction that shows their equivalence 'cheats' by creating
a correspondence between elements with different
labels?....no....would the proof be invalid if we using strings with a
'.' in them that may or may not have an interpretation in some model
you disaprove of?.....no....the interpretation is irrelevant.

It would probably require a solid and consensus definition of OOP to
settle this. It is hard to use formal logic and reasoning on fuzz.

That is exactly my point....your argument as it stands says nothing
about OOP, it is simply the observation about a mapping between two
sets of strings....we simply prepend another string that happens to
have a '.' on the end of it.....you seem to be rejecting the argument
based on a specific interpretation that you reject....The observation
is cardinality of A is less than or equal to the cardinality of B.

I tend to view programming languages as data structures, not as
strings. I don't want to get into a syntax battle because there are
many ways to slice the syntax cat and skin the duck. A strict
interpretation of OO says that "every method must be part of an object/
class". Thus, self-standing functions like "print()" cannot exist, at
least not without zarking up the language.


Yes this argument can be used to construct an injective mapping from a
OO program into a procedural....we need to do some work to show that
semantics are preserved....(but they trivially are)....and so we show
that OO is a generalisation (as a construction mechanism, nothing to
do with the semantics of execution...they are both trivially by turing
completeness which tells us nothing about the relationship).

We could fudge it by having a "default class" such that any function
that cannot be mapped to a local method is assumed part of the default
class. But this is a kludge. We could kludge up procedural to make it
OOP also. Thus, if you want to play the kludge card....


You can choose to reject the extension of the argument, but the
construction on strings is a pretty 'standard' counting argument used
all over the place.....the extension seems pretty unexceptional as
well.




Is there really any point us continuing this thread?......no....

Probably not. One or both of us is probably gonna hafta bust our
rump(s) to add enough precision to avoid miscommunication.

I apologise for prejudjing....

But to be fair though you did seem to jump in and construct an
argument I did not make and then reject it in a seeming attempt to
entice me into an argument about something I didn't comment on.

If I misinterpret what you say, then simply restate or clarify your
point. It is that simple. Constructing conspiracy theories about an
evil manipulative troll will only trigger another shout-war.

-T-

.

Relevant Pages

  • Re: Is Procedural Paradigm a basis of OO Paradigm?
    ... Or functional, or logical programming, etc. ... strings, ... classic construction that shows their equivalence 'cheats' by creating ... statements and claiming that the if statement is fixed....no adding ...
    (comp.object)
  • Re: Is Procedural Paradigm a basis of OO Paradigm?
    ... (or more complex depending on what hat you've got on). ... strings, ... classic construction that shows their equivalence 'cheats' by creating ... it is simply the observation about a mapping between two ...
    (comp.object)
  • Questioning the existence of an oracle A whereby P^A =/= NP^A
    ... Wouldn't this construction process take an infinite amount of time? ... "We construct A by declaring that certain strings are in A and others ... polynomial running time, by making 2^n greater than n^i. ...
    (comp.theory)
  • Re: Is Procedural Paradigm a basis of OO Paradigm?
    ... Or functional, or logical programming, etc. ... "or more complex depending on what hat you've got on"..... ... strings, ... classic construction that shows their equivalence 'cheats' by creating ...
    (comp.object)