<programming> Strict enforcement of type rules but with well-defined exceptions or an explicit type-violation mechanism.
Weak typing is "friendlier" to the programmer than strong typing, but catches fewer errors at compile time.
C and C++ are weakly typed, as they automatically coerce many types e.g. ints and floats.
int a = 5; float b = a;
They also allow ignore typedefs for the purposes of type comparison; for example the following is allowed, which would probably be disallowed in a strongly typed language:
typedef int Date;
/* Type to represent a date */ Date a = 12345; int b = a;
/* What does the coder intend? */
C++ is stricter than C in its handling of enumerated types:
enum animal CAT=0,DOG=2,ANT=3; enum animal a = CAT;
/* NB The enum is optional in C++ */ enum animal b = 1;
/* This is a warning or error in C++ */
|< Previous Terms||Terms Containing weak typing||Next Terms >|
Weak Head Normal Form