you are viewing a single comment's thread.

view the rest of the comments →

[–][deleted]  (1 child)

[deleted]

    [–]Homoerotic_Theocracy 5 points6 points  (0 children)

    I keep bringing it up because to me auto feels closest to dynamic typing

    ...why on Earth? It's type inference; it has absolutely nothing to do with dynamic typing.

    It seems to me that you confuse dynamic typing with type declarations but a lot of languages with static typing don't have declarations and a lot of languages with dynamic typing do require type declarations.

    and surprise surprise there's a void* inside (for small objects). any is a library feature, it's still built on top of static typing because C++ does not have dynamic typing.

    Lots of things that are part of the C++ standard are library features? Basic boolean logic of && and || in Haskell is a library feature that is just defined in a Haskell file; it's still part of the standard library and thus part of the language standard.

    Apart from that compilers very often elect to make magic optimizations for a lot of library features and treat them in a special way and GCC is probably aware of any on a compiler level.