From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 5b1e799cdb,3ef3e78eacf6f938 X-Google-Attributes: gid5b1e799cdb,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news2.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!newsfeed01.sul.t-online.de!t-online.de!newsfeed.straub-nv.de!news2.arglkargh.de!news.visyn.net!open-news-network.org!visyn.net!not-for-mail From: "Mark T.B. Carroll" Newsgroups: comp.lang.eiffel,comp.lang.ada,comp.lang.modula3,comp.lang.pascal,comp.programming Subject: Re: Alternatives to C: ObjectPascal, Eiffel, Ada or Modula-3? Followup-To: comp.lang.modula3,comp.programming Date: Mon, 20 Jul 2009 08:59:43 -0400 Organization: Aetion Technologies LLC, Ohio, USA Message-ID: <86ab2zy0g0.fsf@ixod.org> References: Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: hoshi.visyn.net fTwpIypW/+AhOcPHm6zZEDsCbgNareAOgcCfjxOmrf4= X-Complaints-To: abuse@open-news-network.org NNTP-Posting-Date: Mon, 20 Jul 2009 12:59:23 +0000 (UTC) X-User-ID: XQCW4FGvW69f9ckzQ0v0xRN/qaKUE4Lli4RaNPgynv0= Cancel-Lock: sha1:Xwex+I5f84G+7lSvQru22BUkiAY= User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.2 (gnu/linux) Xref: g2news2.google.com comp.lang.eiffel:325 comp.lang.ada:7171 comp.lang.modula3:51 comp.programming:11886 Date: 2009-07-20T08:59:43-04:00 List-Id: Nicholas Paul Collin Gloucester 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. [ followups trimmed ] Mark