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,9e7db243dfa070d7 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news4.google.com!news3.google.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail From: "Vinzent Hoefler" Newsgroups: comp.lang.ada Subject: Re: Do people who use Ada also use ocaml or F#? Date: Sun, 31 Oct 2010 01:15:03 +0200 Message-ID: References: <1mjd3udlxgzp3$.1abzmwnslu9ym$.dlg@40tude.net> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit X-Trace: individual.net rv9VOAkUZBVOA1r2W1zTrw60vYCmTSoPhXigdtkuw9ICxvExL5 Cancel-Lock: sha1:i/zjNpj6Thhyoe4fFelqbdNCFcc= User-Agent: Opera Mail/10.62 (Win32) Xref: g2news2.google.com comp.lang.ada:15969 Date: 2010-10-31T01:15:03+02:00 List-Id: On Sun, 31 Oct 2010 01:08:19 +0200, Jeffrey Carter wrote: > On 10/30/2010 12:41 AM, Dmitry A. Kazakov wrote: >> On Fri, 29 Oct 2010 15:16:03 -0700, Jeffrey Carter wrote: >>> >>> I'd like to see Ada without any features for programming by extension. >> >> That is not same. For all type extension does not lock your design as >> generics do. Once generic, forever generic. > > Type extension is not the only feature for programming by extension in Ada. > Programming by extension emphasizes ease of writing over ease of reading, > violating one of Ada's explicit design goals. Could you please give an example? I can't follow you here. Vinzent. -- There is no signature.