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,5b0235b23a9db0f2 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-01-21 15:08:08 PST Path: supernews.google.com!sn-xit-02!sn-xit-04!supernews.com!newsfeed.mesh.ad.jp!sjc-peer.news.verio.net!news.verio.net!sjc-read.news.verio.net.POSTED!not-for-mail Newsgroups: comp.lang.ada From: Brian Rogoff Subject: Re: Extensible Enummerated types FW: When will next Ada revision be? (83, 95, ?) In-Reply-To: <94f1ed$kc8$1@nnrp1.deja.com> Message-ID: References: <94c61v$h4a$1@nnrp1.deja.com> <94ce27$rrb$1@news.cis.ohio-state.edu> <94coa2$v2v$1@nnrp1.deja.com> <94f1ed$kc8$1@nnrp1.deja.com> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Date: Sun, 21 Jan 2001 23:08:19 GMT NNTP-Posting-Host: 206.184.139.136 X-Complaints-To: abuse@verio.net X-Trace: sjc-read.news.verio.net 980118499 206.184.139.136 (Sun, 21 Jan 2001 23:08:19 GMT) NNTP-Posting-Date: Sun, 21 Jan 2001 23:08:19 GMT Organization: Verio Xref: supernews.google.com comp.lang.ada:4281 Date: 2001-01-21T23:08:19+00:00 List-Id: On Sun, 21 Jan 2001, Robert Dewar wrote: > In article > , > Brian Rogoff wrote: > > On Sat, 20 Jan 2001, Robert Dewar wrote: > > > How about specifices, since not many languages support > > > this capability (C and C++ do not even have enumeration > > > types in the sense in which we are discussing things now > > > after all :-) > > > > Objective Caml, since version 3.0, has something close, > > Well er ... exactly my point, not to many people are using > Objective Caml in their everyday programming tasks. So my > question still stands, the claim was that this feature was > being used in other programming languages (in common use), > and I don't see that ... Hmmph, I don't recall the "common/popular" qualifier in the original question, and I thought we were trying to ascertain the utility of such a feature by looking at another language with the same or similar features. The feature was added to Ocaml after it had proved its worth in OLabl, in particular for making the interfaces to some C libraries (like Tk and Gtk) more convenient. As I said, since Ada allows overloading of enumeration names and OCaml didn't allow sum type "tag" overloading for the non-polymorphic variants, the argument for extending Ada is significantly weaker than the argument for extending Ocaml with extensible variants. I'd like to see the old proposals that you mention from the 9X process. It is a shame that those documents are not more web friendly. As far as popularity goes, I bet OCaml is more widely used than many languages discussed here. Putting my C hat on, Ada is not very widely used either, nor is SNOBOL, SETL, Modula-3, Oberon, ... . You'll have to define "in common use" more precisely, in order to keep Ada in that set and others out ;-). -- Brian