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-19 11:53:53 PST Newsgroups: comp.lang.ada Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!bloom-beacon.mit.edu!howland.erols.net!nntp.abs.net!priapus.visi.com!news-out.visi.com!hermes.visi.com!uunet!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: Wed, 19 Jun 2002 18:53:04 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:26420 Date: 2002-06-19T18:53:04+00:00 List-Id: Brian Rogoff writes: > Well, I think that there will always (as long as I live, say ;) be places > where doing everything "by hand" will be cost effective, so there will > always be a place for a language which facilitates this. Yes, of course. If nothing else, you have to write the GC (or whatever) in some lower level language. > Got it, my misinterpretation. For anyone reading who is unaware, regions > are roughly what some people call arenas, with some extensions. And to bring this a little closer to the topic of Ada: regions have something in common with a "for T'Storage_Size use ..." clause. > I'll put together some examples, and post them under a more relevant > subject line. Excellent. One thing I don't like about the pattern matching of ML and the like, and that I *do* like about Ada's case statement is the full coverage rules. I think a huge benefit of Ada is that you can write a case statement without an "others", and you get a set of mutually exclusive choices, and the compiler lets you know when you need to add more (e.g. because you added an enumeration literal to a type). (Too bad case statements are so restrictive.) The pattern matching features I've seen are more like "elsif" chains. > Are you preparing a paper on it? Not yet -- just tossing ideas around. - Bob