On 2009-07-20, Mark T.B. Carroll <Mark.Carroll@Aetion.com> wrote:

|---------------------------------------------------------------------------------------------------------------------|
|"Nicholas Paul Collin Gloucester <Colin_Paul_Gloster@ACM.org> writes:                                                |
|                                                                                                                     |
|> On 2009-07-20, Mark T.B. Carroll <Mark.Carroll@Aetion.com> wrote:                                                  |
|>                                                                                                                    |
|> |------------------------------------------------------------------------|                                         |
|> |"Nicholas Paul Collin Gloucester <Colin_Paul_Gloster@ACM.org> writes:   |                                         |
|> |                                                                        |                                         |
|> |> I agree that static typing is important, but Modula-3; Eiffel; and    |                                         |
|> |> many versions of Pascal perhaps including FreePascal are restricted to|                                         |
|> |> structural equivalence of types only. This is not sufficient strong   |                                         |
|> |> typing.                                                               |                                         |
|> |                                                                        |                                         |
|> |Modula-3's BRANDED keyword overrides the structural equivalence."       |                                         |
|> |------------------------------------------------------------------------|                                         |
|>                                                                                                                    |
|> Thank you for the response.                                                                                        |
|>                                                                                                                    |
|> The author of                                                                                                      |
|> HTTP://web.archive.org/web/20051001044031/http://archive.dstc.edu.au/AU/staff/crawley/ada/m3-vs-ada.html#section4.1|
|> warned that he did not know Modula-3 well, so was his claim                                                        |
|> "Branding only applies to reference types"                                                                         |
|> untrue?                                                                                                            |
|                                                                                                                     |
|I think that's true. However, that is not equivalent to Modula-3 being                                               |
|"restricted to structural equivalence of types only", which is why I                                                 |
|corrected you. (Note that you can have reference types of even integers                                              |
|or whatever, it's not just objects.)                                                                                 |
|                                                                                                                     |
|[..]"                                                                                                                |
|---------------------------------------------------------------------------------------------------------------------|

Touch�.