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-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,f51e93dacd9c7fca X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-06-18 14:10:34 PST Newsgroups: comp.lang.ada Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!nntp.abs.net!uunet!dca.uu.net!ash.uu.net!world!news From: Robert A Duff Subject: Re: status of Ada STL? Sender: news@world.std.com (Mr Usenet Himself) Message-ID: Date: Tue, 18 Jun 2002 21:09:28 GMT References: <3d0ce154_5@news.bluewin.ch> <3D0D4274.6C5E02F9@acm.org> <4519e058.0206170753.599fd771@posting.google.com> NNTP-Posting-Host: shell01.theworld.com Organization: The World Public Access UNIX, Brookline, MA X-Newsreader: Gnus v5.7/Emacs 20.7 Xref: archiver1.google.com comp.lang.ada:26306 Date: 2002-06-18T21:09:28+00:00 List-Id: Brian Rogoff writes: > A few months ago lots of people here felt the need to get annoyed by > another attempt at a safe C called Cyclone, I missed that argument -- I wasn't paying attention c.l.a a few months ago. >... but I think that Cyclone is > worthy of study, since it has some features contemplated for the next > generation of Ada (region based memory management, at least if I > understood Tucker Taft correctly) and also some features that would be > great to see in a new language derived from Ada (pattern matching). I was not impressed by Cyclone's region-based memory management. At least for the kinds of programs I write, it seemed that most of the data would have to end up in the most-global (garbage collected) heap anyway. Regions are not first-class citizens in Cyclone (they can't be allocated dynamically, as in "new Region..."). But that restriction is key to Cyclone's ability to prove stuff about them (no dangling pointers). Tucker hates garbage collection, and longs for an efficient and safe alternative to both by-hand memory management and GC. Me too, but Cyclone ain't it, IMHO. As you say, it's worthy of study; Tucker has mentioned some ideas for making it more powerful. > http://www.research.att.com/projects/cyclone/ > > yes, it would have been nicer if they'd started with Ada as a base, but > they're going for widespread applicability so C compatibility is an > important goal. C compatibility isn't the only thing. There's also the fact that lots of people are used to C-like syntax. Java isn't even close to compatible with C, but C programmers can feel comfortable with it, because it sort of looks like C -- I have no proof, but I suspect that's a big part of the reason Java caught on. - Bob