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!news4.google.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail From: Andrew Reilly Newsgroups: comp.lang.eiffel,comp.lang.ada,comp.lang.modula3,comp.programming Subject: Re: Alternatives to C: ObjectPascal, Eiffel, Ada or Modula-3? Date: 22 Jul 2009 00:25:08 GMT Message-ID: <7cn4j4F27e1akU2@mid.individual.net> References: <0.603519b4031952a6b8a9.20090718184108BST.87k52551or.fsf@bsb.me.uk> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Trace: individual.net J+sZnDZPh95TUkcr3WQZjwyiHJrsA/E+YV0A5xX0QLt02CgVBu Cancel-Lock: sha1:z/5KZf+0tt0lRXHy3kDARMbi2c8= User-Agent: Pan/0.133 (House of Butterflies) Xref: g2news2.google.com comp.lang.eiffel:385 comp.lang.ada:7260 comp.lang.modula3:82 comp.programming:11964 Date: 2009-07-22T00:25:08+00:00 List-Id: On Tue, 21 Jul 2009 14:40:39 +0000, Colin Paul Gloster wrote: > On Tue, 21 Jul 2009, Jon Harrop wrote: > > |----------------------------------------------------------------------| > |"Nicholas Paul Collin Gloucester wrote: | > |> Why Objective Caml instead of JoCaml; G'Caml; Chamau; BIGLOO; HimML;| > |> CeML; or Gaml? | > | | > |[..] Bigloo which is a Scheme | > |implementation and, therefore, is not statically typed. | > | | > |[..]" | > |----------------------------------------------------------------------| > > I am sorry for making that mistake. It's not that much of a mistake, I believe. My understanding was that Manuel Serrano started bigloo with the intention of making a compilation back-end that had both ML and scheme front-ends. Only the scheme front- end survives, and bigloo-scheme is fairly unique in how thoroughly it allows and encourages type annotations (which it uses for optimization purposes, I believe.) It also has a JVM-bytecode back-end, fwiw, but the native (via C) back-end is said to produce better/faster code. [Bigloo also does classes and objects, so it could tick all of the OP's boxes, except for the Wirthian syntax one...] Cheers, -- Andrew