I am really confused about the concept of Strongly typed programming language (AKA type safety enforcement). Based on multiple definitions from Wikipedia source I can conclude from how I understood it that Type safety is really about what can and cannot be done with a language as predicted by the language itself (correct me if I am wrong)..
This made me remember glancing through an article that talked about binding. It got me all confused as to if there is any relationship between static/dynamic type safey assertion and static/dynamic binding of fields..
For example an Integer variable
int two = 1; is statictly binded to its value, trying to assign a string value "1" to integer an variable will result in a compile time error like
int one ="1";. I consider this a type safety approach implemented by static binding. Am I wrong thinking this way? Please enlighten my understanding of this concept.