What is strongly typed programming language?

Answer 1

Yes, Python is strongly-typed.

You can test if any language is strongly-typed with a very simple example:

x = 1

y = "2"

z = x + y

The above will not compile in a strongly typed language because y is a string, not a number. That is, the language will not implicitly convert y to a number simply because you used it in a numeric expression. A weakly-linked language will perform the conversion Behind the Scenes.

Note that some strongly typed languages will permit the following:

value = 1

value = "one"

This is an example of dynamic typing; the same variable has explicitly changed type. This is not possible with statically typed languages. However, dynamic typing does not imply weak typing. Dynamic typing is explicit, weak typing is not.

Answer 2

Yes! All data is an object. There are no primitives like Java. Not only is all data an object, but methods and functions are objects too (and can be passed around like anything else, making them a first class object[0]). It isn't as object oriented as Smalltalk, where even language structures are objects[1].

[0] first-class-object

[1] smalltalk

Answer 3

It strongly depends on your operating system. Windows has C++, C#, and Basic. Apple computers use Objective-C, and Linux/Ubuntu use the Unixlanguage.