Strongly typed and weakly typed
If a language rarely has an implicit conversion type, it means that he is a strongly-typed language. If you do this often, it means that he is a weakly typed language. Java, C + +, and Python are strongly typed languages. Php,javascript and Perl are weakly typed languages
static types and dynamic types
The language at compile-time check type is a static type language, and the language of the check type at run time is a dynamic language. A static type requires a declared type. Fortran and Lisp are the first two languages. They are static type language and dynamic type language, respectively.
Static typing makes it easy for some tool compilers and Ides to parse code, identify errors, and provide other services (optimizations, refactoring, and so on). Dynamic typing facilitates code reuse, fewer lines of code, and allows interfaces to naturally become protocols without early implementation.
Strong and weak types, how static types and dynamic type languages are differentiated