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,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,508516c114ade8e1 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,UTF8 Received: by 10.68.222.71 with SMTP id qk7mr1825815pbc.1.1328807300236; Thu, 09 Feb 2012 09:08:20 -0800 (PST) Path: wr5ni5570pbc.0!nntp.google.com!news2.google.com!news.glorb.com!feeder.erje.net!de-l.enfer-du-nord.net!feeder1.enfer-du-nord.net!gegeweb.org!aioe.org!.POSTED!not-for-mail From: =?utf-8?Q?Yannick_Duch=C3=AAne_=28Hibou57?= =?utf-8?Q?=29?= Newsgroups: comp.lang.ada Subject: Re: ada without ada libraries? Date: Thu, 09 Feb 2012 18:08:19 +0100 Organization: Ada @ Home Message-ID: References: <82mx8tttx7.fsf@stephe-leake.org> <120f2efrm73fc$.mi1m9kwbbkes$.dlg@40tude.net> <1o71uiwmoiunb.bkjz8c54rcbl.dlg@40tude.net> <4F33F89E.3070207@obry.net> NNTP-Posting-Host: fLpVuVo6AZx9Xe9YP2dkPw.user.speranza.aioe.org Mime-Version: 1.0 X-Complaints-To: abuse@aioe.org User-Agent: Opera Mail/11.61 (Linux) X-Notice: Filtered by postfilter v. 0.8.2 Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes Content-Transfer-Encoding: Quoted-Printable Date: 2012-02-09T18:08:19+01:00 List-Id: Le Thu, 09 Feb 2012 18:03:19 +0100, Yannick Duch=C3=AAne (Hibou57) = a =C3=A9crit: > About Dmitry's example of using Ada overloaded operators in place of = > Prolog's specific language: what added value? Oops, sorry, I forgot a point: the existence of a DSL interface, does no= t = imply the non=E2=80=91existence of a library interface ;-) The prolog en= gine could = still be available to Ada as a withed package. -- = =E2=80=9CSyntactic sugar causes cancer of the semi-colons.=E2=80=9D [1] =E2=80=9CStructured Programming supports the law of the excluded muddle.= =E2=80=9D [1] [1]: Epigrams on Programming =E2=80=94 Alan J. =E2=80=94 P. Yale Univers= ity