[Webinar] Streamline your web hosting managementRegister Today

x
  • Status: Solved
  • Priority: Medium
  • Security: Public
  • Views: 597
  • Last Modified:

Strongly Typed Language

MFCer,

What is Strongly Typed Language ? Is C++ a Strongly Typed Language ?

Andrew
0
andrewyu
Asked:
andrewyu
1 Solution
 
galkinCommented:
What do you mean typed language?
0
 
yonatCommented:
A type is the set of messages that an object understands. In C++ it means all its public member functions, including inherited ones.

A typed language is a language that support types :-) Many languages only support types weakly, like Perl, or good-old Basic.

C++ let's you define your own types (using classes). It protects you from sending a message (function call) to an object that can't understand it. This check is done at compile time, or statically. Therefore, C++ is a statically typed language.

In SmallTalk, this checking is done at run-time. Therefore SmallTalk is a dynamically typed language.

About strong typing:

The better you can define the messages that an object can receive - the stronger the typing. For example, in Eiffel you can define pre- and post-conditions for each message. So Eiffel's typing is stronger than that of C++. But C++'s typing is stronger that that of, say, Visual Basic.

So "strong" is a bit like "tall" - it's relative. Most people out of eiffel.com would say that C++ is strongly typed.

0

Featured Post

2018 Annual Membership Survey

Here at Experts Exchange, we strive to give members the best experience. Help us improve the site by taking this survey today! (Bonus: Be entered to win a great tech prize for participating!)

Tackle projects and never again get stuck behind a technical roadblock.
Join Now