[fpc-devel] New language idea: Unified types(assignmentsize-compatible types).

[Skybuck Flying]

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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.freepascal.org/pipermail/fpc-devel/attachments/20110620/ae63502e/attachment.html>