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: 103376,2cc84c0fee9046c0 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!nx02.iad01.newshosting.com!newshosting.com!news-feed01.roc.ny.frontiernet.net!nntp.frontiernet.net!cox.net!news-xfer.cox.net!p01!lakeread05.POSTED!53ab2750!not-for-mail From: David Emery User-Agent: Mozilla Thunderbird 1.0.5 (Macintosh/20050711) X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Various Language Architecture Questions References: <1127615832.540718.246970@g43g2000cwa.googlegroups.com> <9tFZe.3859$0m6.3121@newsread3.news.pas.earthlink.net> In-Reply-To: <9tFZe.3859$0m6.3121@newsread3.news.pas.earthlink.net> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Message-ID: Date: Mon, 26 Sep 2005 14:09:43 -0400 NNTP-Posting-Host: 24.249.249.75 X-Complaints-To: abuse@cox.net X-Trace: lakeread05 1127758183 24.249.249.75 (Mon, 26 Sep 2005 14:09:43 EDT) NNTP-Posting-Date: Mon, 26 Sep 2005 14:09:43 EDT Organization: Cox Communications Xref: g2news1.google.com comp.lang.ada:5160 Date: 2005-09-26T14:09:43-04:00 List-Id: Part of the goal for any modern protocol stack should be type safety, including preventing array bounds overrunning. For what it's worth, I wrote a significant subset of TCP using SPARK as part of a IR&D project in applying SPARK/formal methods. With a little bit of care and attention, there should be little or no performance hit for A LOT of safety/security. The parts I couldn't do in SPARK (such as asynchronous transfer of control to implement TCP timeouts) were done in Ada95. The Ada95 was wrapped in C to support the JNI interface for the test/demonstration code that invoked the protocol stack. We called the result (Java calling C calling Ada95 calling SPARK) the "SPARK Sandwich"... The core concern is at boundries of the protocol layer, where you move from byte sequences to packets, and then to more 'semantically knowledgeable' data. dave Jeffrey R. Carter wrote: > frankgerlach@gmail.com wrote: > >> I am contemplating to create a new language, which is supposed to be as >> fast as C++, but as safe as Java. > > > Your thinking is very low-level. With a well designed language, pointers > and type conversions are far rarer than in C/++. When you have been > exposed to such a language well enough to use it as intended, then you > may be ready to think about designing a language of your own. >