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,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.52.165.36 with SMTP id yv4mr618983vdb.1.1400060394280; Wed, 14 May 2014 02:39:54 -0700 (PDT) X-Received: by 10.140.109.199 with SMTP id l65mr7706qgf.32.1400060394058; Wed, 14 May 2014 02:39:54 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!news.glorb.com!c1no6264841igq.0!news-out.google.com!gi6ni1333igc.0!nntp.google.com!c1no6264835igq.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Wed, 14 May 2014 02:39:53 -0700 (PDT) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=92.109.179.4; posting-account=uePmQwoAAADTqdMkQ5mqQNa8zVpjxCa1 NNTP-Posting-Host: 92.109.179.4 References: <1ljwj8f.1wqbhvuabsdw1N%csampson@inetworld.net> <51c7d6d4-e3be-44d5-a4ce-f7e875345588@googlegroups.com> <%J32v.70539$kp1.45343@fx14.iad> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Heartbleed From: gvdschoot@gmail.com Injection-Date: Wed, 14 May 2014 09:39:54 +0000 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Xref: news.eternal-september.org comp.lang.ada:19823 Date: 2014-05-14T02:39:53-07:00 List-Id: On Saturday, April 12, 2014 8:38:48 PM UTC+2, Simon Clubley wrote: >=20 >=20 > Will these new compilers be easy to port to a new environment or will >=20 > the size and functionality of the Ada language make porting a major task = ? >=20 >=20 >=20 > >> What may be a viable option would be if a simpler Wirth style language >=20 > >> existed and whose compiler generated object code compatible with gcc >=20 > >> and used binutils for it's assembling/linking phase. >=20 > > >=20 > > Oberon? >=20 > > >=20 > Something based on one of the Oberon variants is _exactly_ the kind of >=20 > thing I was thinking of. I would modify some of the syntax elements to >=20 > make them more Ada like however. >=20 >=20 > You know, Oberon-14 sounds like a nice name for a new programming >=20 > language. :-) =20 A little bit offtopic, but the Go (golang) team is working on a c2go applic= ation[1]. Altough it is only used for their compiler, and could possibly no= t work, the aim is to port 99%+ of *their* C to be ported to Go. Why is thi= s interesting? Go, altough it has a C look and feel, is very close to Obero= n. It is C that has all the ambiguous crap. So parsing C is the biggest pro= blem and the way they solve it looks interesting.=20 With tools like this it could be possible to rewrite large amounts of C lib= raries rather quickly. Oberon is probably the most sane language. It's small feature set allows co= mpilers to become safe and portable with minimum effort. IMO the biggest problem is: Who is gonna do it? Open Source works rather we= ll when it has a core team of professionals and good architects. Getting th= ings such as this done requires money. Again IMO it will happen someday. Heartbleed is a good trigger. There are p= robably a lot more heartbleeds waiting to happen. Right now the stone is on= top of the cliff. It only needs a tiny push. [1] http://talks.golang.org/2014/c2go.slide#1