[fpc-devel] New language idea: Unified types(assignmentsize-compatible types).
skybuck2000 at hotmail.com
Mon Jun 20 18:01:38 CEST 2011
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.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the fpc-devel