6 ms·

I feel this viewpoint is pedantic. Zero cost abstractions is the space we're looking at and from this perspective, C and C++ are in the same space. If not then

I feel this viewpoint is pedantic. Zero cost abstractions is the space we're looking at and from this perspective, C and C++ are in the same space. If not then are we implying a successor to C++ needs to be Object Oriented? Because that's the main difference between C++ and C. Clearly the successor languages mentioned in the article do not have the same heavy OOP bias embedded into themselves as C++ and thus they all can be looked upon as successors to C as well. I think the goal here is just to find a language that does the whole "zero cost abstraction" thing better than the status quo.

c-cube 4y ago
There are so many more differences between C and C++. Templates, RAII, type inference, lambdas, etc. These are the abstractions that try to be zero cost; C has little abstraction overall so it doesn't claim "zero cost abstraction". I don't think you need to be fully OOP to claim to be a C++ successor, but you definitely need to have decent zero cost abstractions, including a form of templates/generics. Having RAII might also be a requirement.
pjmlp 4y ago
All the successor languages mentioned on the article have ways to provide methods and some form of polymorphism directly supported in the language, and not the OOP in C kind of kludge.
- fckgnad 4y ago
  polymorphism is not an OOP concept. https://en.wikipedia.org/wiki/Polymorphism_(computer_science) https://en.wikipedia.org/wiki/Polymorphism_(computer_science... You will see Wikipedia doesn't treat it as such. Examples are shown in functional languages and it is not hierarchically categorized as a exclusively a part of OOP.
  - pjmlp 4y ago
    From that link, "In a 1985 paper, Peter Wegner and Luca Cardelli introduced the term inclusion polymorphism to model subtypes and inheritance,[2] citing Simula as the first programming language to implement it" Polymorphism is part of what makes a language OOP capable, naturally it also exists in other paradigms. We can also do other examples like discussing the semantics of closure and methods equivalency. https://wiki.c2.com/?ClosuresAndObjectsAreEquivalent https://wiki.c2.com/?ClosuresAndObjectsAreEquivalent Do you also want Simon Peyton Jones point of view on Haskell type classes and OOP relate to each other? "Classes, Jim, but not as we know them" https://www.microsoft.com/en-us/research/publication/classes-jim-not-know-2009/ https://www.microsoft.com/en-us/research/publication/classes...
    - fckgnad 4y ago
      We can keep the discussion going but I don't see why? Polymorphism is not part of OOP it's much more universal then that. It can be used by OOP the same way numbers can be used as in OOP programming. But numbers are not hierarchically under the umbrella of OOP. I mean what is the point you're trying to make here? That polymorphism is fundamentally and categorically OOP? Are you saying that anything that uses polymorphism (which is almost every language under the sun) is OOP? >Do you also want Simon Peyton Jones point of view on Haskell type classes and OOP relate to each other? No? Wouldn't that be a completely different topic?
      - pjmlp 4y ago
        All worthy candidates to successor languages to C++ also support OOP in some form, that is the point. Not the OOP from all I know is Java, rather the OOP from SIGPLAN, ECOOP, IEEE, ACM papers, which happen to have polymorphism as one of the common features across all variations of what can be considered as an OOP capable language.
        fckgnad 4y ago
        [dead]
eptcyka 4y ago
I think some people believe C++ to be a mistake - if such people were to develop a new langauge they might take issue with framing the new language as a better mistake.
- ovao 4y ago
  I don’t know that I’ve heard anyone claim that C++ itself was a mistake, although there have obviously been many (acknowledged) mistakes made with C++. All things considered, for the time, given the paradigms we understood to be effective, and for the value within the design space, C++ was about as close to excellence as we could’ve hoped for. It didn’t replace C, nor was it meant to, but for its purpose it was a great success.
  - fckgnad 4y ago
    No. C++ being a mistake is a valid argument. There are enough smart people claiming this that you can't dismiss it (Linus Torvalds for example). While the argument is not definitive it is valid enough that it must be considered. One thing I highly disagree with in your statement is this: " C++ was about as close to excellence as we could’ve hoped for." In my opinion, C++ is nowhere close to excellence. Best available option for certain applications is more inline with my opinion of it.
    - ovao 4y ago
      > One thing I highly disagree with in your statement is this: " C++ was about as close to excellence as we could’ve hoped for." It’s fine to disagree, but it seems mildly disingenuous to omit all the qualifiers I (very deliberately and intentionally) prefaced that statement with when you do so. In that sense, you’re actually disagreeing with an opinion I don’t actually hold.
      - fckgnad 4y ago
        I omitted out of brevity. But ok, I'll put it in: >All things considered, for the time, given the paradigms we understood to be effective, and for the value within the design space, C++ was about as close to excellence as we could’ve hoped for. It didn’t replace C, nor was it meant to, but for its purpose it was a great success. I disagree with this entire statement. It's not even close to excellence even given all the deliberate and intentional qualifiers you put around it. I believe that when I re-clarify my comment in this context it becomes clear that I am in totality disagreeing with your statement. I think C++ became popular due to luck in the same way javascript came to dominate the frontend. I believe there could've been a number of possible better alternative outcomes if luck would have been different.
flohofwoe 4y ago
I'd say, RAII and the template system are the main difference between C and C++, not the OOP features. "Zero cost abstraction" is mainly just a welcome side effect of the compiler's optimization passes, and those work in C just as well as in C++ (but typical C++ code depends more heavily on compiler optimizations to clean up redundant "left-overs" from template resolution).
- Koshkin 4y ago
  > RAII and the template system Also function and operator overloading, often overlooked while being of critical importance.
- fckgnad 4y ago
  No. Zero cost abstraction was a term used by inventor of C++. It was one of the design principles. Not a side effect. Source: https://www.stroustrup.com/ETAPS-corrected-draft.pdf https://www.stroustrup.com/ETAPS-corrected-draft.pdf Search for "Zero-overhead abstraction mechanisms". If you read it you will see Bjarnes goal was to provide the highest level of abstraction possible at "zero overhead". At the time he was creating the language, OOP was the newest and "highest" forms abstraction around... problems with it as an abstraction weren't as evident back then as they are now. But yeah, I agree that you can make an argument for RAII and templating being the main differences over OOP. But Zero cost abstractions are not a side effect at all.
ttfkam 4y ago
C++ is not object oriented; it's a multi-paradigm language that supports OO, generic, even some functional, etc. It is a schizophrenic beast that will go (and take you) in any direction you do and do not wish to go. For example, the STL is everything with a sprinkling of OO. Generics and template metaprogramming are everywhere. Algorithms are defined as distinct for data structures IN ADDITION TO object methods. It is simultaneously elegant and monstrous. Once the diamond inheritance pattern for iostreams emerged, there was a HARD turn away from OO in the standards body. C++ is literally the embodiment of every programming trend for the last 30 years.
- fckgnad 4y ago
  hmm tell me about the diamond inheritance pattern for iostreams and that hard turn away from OO. Never heard of this and couldn't find any sources on an initial search. Got any links on it?

c-cube 4y ago

There are so many more differences between C and C++. Templates, RAII, type inference, lambdas, etc. These are the abstractions that try to be zero cost; C has little abstraction overall so it doesn't claim "zero cost abstraction". I don't think you need to be fully OOP to claim to be a C++ successor, but you definitely need to have decent zero cost abstractions, including a form of templates/generics. Having RAII might also be a requirement.

pjmlp 4y ago

All the successor languages mentioned on the article have ways to provide methods and some form of polymorphism directly supported in the language, and not the OOP in C kind of kludge.

fckgnad 4y ago
polymorphism is not an OOP concept. https://en.wikipedia.org/wiki/Polymorphism_(computer_science) https://en.wikipedia.org/wiki/Polymorphism_(computer_science... You will see Wikipedia doesn't treat it as such. Examples are shown in functional languages and it is not hierarchically categorized as a exclusively a part of OOP.
- pjmlp 4y ago
  From that link, "In a 1985 paper, Peter Wegner and Luca Cardelli introduced the term inclusion polymorphism to model subtypes and inheritance,[2] citing Simula as the first programming language to implement it" Polymorphism is part of what makes a language OOP capable, naturally it also exists in other paradigms. We can also do other examples like discussing the semantics of closure and methods equivalency. https://wiki.c2.com/?ClosuresAndObjectsAreEquivalent https://wiki.c2.com/?ClosuresAndObjectsAreEquivalent Do you also want Simon Peyton Jones point of view on Haskell type classes and OOP relate to each other? "Classes, Jim, but not as we know them" https://www.microsoft.com/en-us/research/publication/classes-jim-not-know-2009/ https://www.microsoft.com/en-us/research/publication/classes...
  - fckgnad 4y ago
    We can keep the discussion going but I don't see why? Polymorphism is not part of OOP it's much more universal then that. It can be used by OOP the same way numbers can be used as in OOP programming. But numbers are not hierarchically under the umbrella of OOP. I mean what is the point you're trying to make here? That polymorphism is fundamentally and categorically OOP? Are you saying that anything that uses polymorphism (which is almost every language under the sun) is OOP? >Do you also want Simon Peyton Jones point of view on Haskell type classes and OOP relate to each other? No? Wouldn't that be a completely different topic?
    - pjmlp 4y ago
      All worthy candidates to successor languages to C++ also support OOP in some form, that is the point. Not the OOP from all I know is Java, rather the OOP from SIGPLAN, ECOOP, IEEE, ACM papers, which happen to have polymorphism as one of the common features across all variations of what can be considered as an OOP capable language.
      - fckgnad 4y ago
        [dead]

eptcyka 4y ago

I think some people believe C++ to be a mistake - if such people were to develop a new langauge they might take issue with framing the new language as a better mistake.

ovao 4y ago
I don’t know that I’ve heard anyone claim that C++ itself was a mistake, although there have obviously been many (acknowledged) mistakes made with C++. All things considered, for the time, given the paradigms we understood to be effective, and for the value within the design space, C++ was about as close to excellence as we could’ve hoped for. It didn’t replace C, nor was it meant to, but for its purpose it was a great success.
- fckgnad 4y ago
  No. C++ being a mistake is a valid argument. There are enough smart people claiming this that you can't dismiss it (Linus Torvalds for example). While the argument is not definitive it is valid enough that it must be considered. One thing I highly disagree with in your statement is this: " C++ was about as close to excellence as we could’ve hoped for." In my opinion, C++ is nowhere close to excellence. Best available option for certain applications is more inline with my opinion of it.
  - ovao 4y ago
    > One thing I highly disagree with in your statement is this: " C++ was about as close to excellence as we could’ve hoped for." It’s fine to disagree, but it seems mildly disingenuous to omit all the qualifiers I (very deliberately and intentionally) prefaced that statement with when you do so. In that sense, you’re actually disagreeing with an opinion I don’t actually hold.
    - fckgnad 4y ago
      I omitted out of brevity. But ok, I'll put it in: >All things considered, for the time, given the paradigms we understood to be effective, and for the value within the design space, C++ was about as close to excellence as we could’ve hoped for. It didn’t replace C, nor was it meant to, but for its purpose it was a great success. I disagree with this entire statement. It's not even close to excellence even given all the deliberate and intentional qualifiers you put around it. I believe that when I re-clarify my comment in this context it becomes clear that I am in totality disagreeing with your statement. I think C++ became popular due to luck in the same way javascript came to dominate the frontend. I believe there could've been a number of possible better alternative outcomes if luck would have been different.

flohofwoe 4y ago

I'd say, RAII and the template system are the main difference between C and C++, not the OOP features. "Zero cost abstraction" is mainly just a welcome side effect of the compiler's optimization passes, and those work in C just as well as in C++ (but typical C++ code depends more heavily on compiler optimizations to clean up redundant "left-overs" from template resolution).

Koshkin 4y ago
> RAII and the template system Also function and operator overloading, often overlooked while being of critical importance.
fckgnad 4y ago
No. Zero cost abstraction was a term used by inventor of C++. It was one of the design principles. Not a side effect. Source: https://www.stroustrup.com/ETAPS-corrected-draft.pdf https://www.stroustrup.com/ETAPS-corrected-draft.pdf Search for "Zero-overhead abstraction mechanisms". If you read it you will see Bjarnes goal was to provide the highest level of abstraction possible at "zero overhead". At the time he was creating the language, OOP was the newest and "highest" forms abstraction around... problems with it as an abstraction weren't as evident back then as they are now. But yeah, I agree that you can make an argument for RAII and templating being the main differences over OOP. But Zero cost abstractions are not a side effect at all.

ttfkam 4y ago

C++ is not object oriented; it's a multi-paradigm language that supports OO, generic, even some functional, etc. It is a schizophrenic beast that will go (and take you) in any direction you do and do not wish to go. For example, the STL is everything with a sprinkling of OO. Generics and template metaprogramming are everywhere. Algorithms are defined as distinct for data structures IN ADDITION TO object methods. It is simultaneously elegant and monstrous. Once the diamond inheritance pattern for iostreams emerged, there was a HARD turn away from OO in the standards body. C++ is literally the embodiment of every programming trend for the last 30 years.

fckgnad 4y ago
hmm tell me about the diamond inheritance pattern for iostreams and that hard turn away from OO. Never heard of this and couldn't find any sources on an initial search. Got any links on it?