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,24d7acf9b853aac8 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news3.google.com!feeder.news-service.com!newsfeed.straub-nv.de!eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail From: Simon Wright Newsgroups: comp.lang.ada Subject: Re: Structural unification (pattern matching) in Ada Date: Wed, 11 Aug 2010 22:21:15 +0100 Organization: A noiseless patient Spider Message-ID: References: <547afa6b-731e-475f-a7f2-eaefefb25861@k8g2000prh.googlegroups.com> <1omt2srxtpsga$.c3hbxthzo6cf.dlg@40tude.net> <14y70ke8am9qw$.2csc9eflvigg.dlg@40tude.net> <4c601b5c$0$7665$9b4e6d93@newsspool1.arcor-online.net> <9czktq4ntzq7.fhbsnocx0x4w$.dlg@40tude.net> <4c6078f9$0$12500$426a74cc@news.free.fr> <4c6132d2$0$8378$426a74cc@news.free.fr> <4c61dafd$0$14549$426a74cc@news.free.fr> <4oebq9a8m8et$.gvv6eyo3umfh$.dlg@40tude.net> <4c62e31a$0$10493$426a34cc@news.free.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Injection-Date: Wed, 11 Aug 2010 21:21:15 +0000 (UTC) Injection-Info: mx01.eternal-september.org; posting-host="KCXegvZb5vh43D+f3BR6Ew"; logging-data="4119"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18RoaIvyR3wkk2yTmTea0zWJqNzYgIWXFM=" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.2 (darwin) Cancel-Lock: sha1:8oQq3gyt7b8hgme4VL3LkXrcCjM= sha1:JQMrMEF1QSGGK7wYuCkOeDgcrJE= Xref: g2news1.google.com comp.lang.ada:13145 Date: 2010-08-11T22:21:15+01:00 List-Id: "(see below)" writes: > On 11/08/2010 20:43, in article wcc7hjxorzs.fsf@shell01.TheWorld.com, > "Robert A Duff" wrote: > >> Note that "when others" in Ada turns off the full coverage rule. >> Similar to "_" in OCaml -- it means "none of the above". > > What a lovely example of the FP concision fetish. I think it's more Unix-related. Consider the bash case statement .. it's '*' there. And doesn't Perl have a similar construct?