Weakly-typed Programming Language
A Weakly-typed Programming Language is a Programming Language that supports implicit type conversion and/or overloading.
- Example(s):
- Counter-Example(s):
- See: Data Type, Dynamically Typed Programming Language, Dependently Typed Programming Language, Untyped Programming Language, Type Checking Algorithm.
References
2011
- http://en.wikipedia.org/wiki/Weak_typing
- QUOTE: In computer science, 'weak typing (a.k.a. loose typing) is a property attributed to the type systems of some programming languages. It is the opposite of strong typing, and consequently the term weak typing has as many different meanings as strong typing does.
One of the more common definitions states that weakly typed programming languages are those that support either implicit type conversion (nearly all languages support at least one implicit type conversion), ad-hoc polymorphism (also known as overloading) or both. These less restrictive usage rules can give the impression that strict adherence to typing rules is less important than in strongly typed languages and hence that the type system is "weaker". However, such languages usually have restrictions on what programmers can do with values of a given type; thus it is possible for a weakly typed language to be type safe. Moreover, weakly typed languages may be statically typed, in which case overloading is resolved statically and type conversion operations are inserted by the compiler, or dynamically typed, in which case everything is resolved at run time.
One claimed advantage of weak typing over strong typing is that it requires less effort on the part of the programmer because the compiler or interpreter implicitly performs certain kinds of conversions. However, one claimed disadvantage is that weakly typed programming systems catch fewer errors at compile time and some of these might still remain after testing has been completed. Two commonly used languages that support many kinds of implicit conversion are C and C++, and it is sometimes claimed that these are weakly typed languages. However, others[who?] argue that these languages place enough restrictions on how operands of different types can be mixed, that the two should be regarded as strongly typed languages. PHP and Perl are two examples of weakly typed languages.
- QUOTE: In computer science, 'weak typing (a.k.a. loose typing) is a property attributed to the type systems of some programming languages. It is the opposite of strong typing, and consequently the term weak typing has as many different meanings as strong typing does.