Please don't use weak/strong to denote type systems. Those terms are highly subj...

albntomat0 · on July 24, 2020

They are not the same, at least according to the definitions I'm familiar with.

Static/dynamic is whether type checking is done at compile time or run type.

Strong/weak is how flexible the language is with type conversion.

Another explanation: https://en.hexlet.io/courses/intro_to_programming/lessons/ty...

nafey · on July 24, 2020

Are these dimensions orthogonal though? For example is there any Strongly typed dynamic language?

elbear · on July 24, 2020

Python is considered strongly typed, but usually it's placed in opposition with PHP or JavaScript. That's why I don't understand why the previous poster used strongly typed. The conversation was about static and dynamic programming languages.

rowanG077 · on July 25, 2020

Yes. Completely orthogonal.

Strongly typed dynamic: Python

Weakly typed dynamic: Javascript

Strongly typed static: Haskell

Weakly typed static: C

teddyh · on July 24, 2020

I think Python is mentioned as the usual example.

JAlexoid · on July 25, 2020

Static vs dynamic is not for type checking, it's about conversion.

As in:

Static typing - 1 == "1" is false (Python style, integer isn't converted to string for comparison)

Dynamic typing - 1 == "1" is true (PHP style, integer or string may be converted)

albntomat0 · on July 25, 2020

Where are you getting your definitions from? What you posted is what I understand to be weak vs strong.

JAlexoid · on July 25, 2020

Barbara Liskov defines strong typing as a compiler feature that prevents wrong type usage.

Liskov, B; Zilles, S (1974). "Programming with abstract data types".

http://web.cs.iastate.edu/~hridesh/teaching/362/07/01/papers...