From: Lloyd Park
Sent: Monday, June 20, 2011 4:30 PM
To: FPC developers' list
Subject: Re: [fpc-devel] New language idea: Unified
types(assignmentsize-compatible types).
“
Not to mention that it breaks the strong typing that is central to Pascal's
design.
“
Nope, the strong type checking is still in place for all other types, except
for the unified type.
The programmer uses it to indicate he knows what he is doing.
It actually makes type checking stronger, typecasts can go wrong when types
change and remain undetected, the unified type would immediately detect it.
In this sense the unified type can be thought of as doing automatic typecasts
but even better the compiler checks the sizes to make sure they are of the same
size,
something that is not done for typecasts.
Bye,
Skybuck.
_______________________________________________
fpc-devel maillist - fpc-devel@lists.freepascal.org
http://lists.freepascal.org/mailman/listinfo/fpc-devel
