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,1c8c283347cf0236 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news4.google.com!feeder1.cambriumusenet.nl!feed.tweaknews.nl!193.201.147.78.MISMATCH!feeder.news-service.com!ecngs!feeder.ecngs.de!Xl.tags.giganews.com!border1.nntp.ams.giganews.com!nntp.giganews.com!local2.nntp.ams.giganews.com!nntp.brightview.co.uk!news.brightview.co.uk.POSTED!not-for-mail NNTP-Posting-Date: Fri, 22 Apr 2011 10:49:33 -0500 Content-Type: text/plain; charset="ISO-8859-1" From: Robert Matthews Date: Fri, 22 Apr 2011 16:50:01 +0100 User-Agent: KNode/4.4.6 Content-Transfer-Encoding: 7Bit Subject: Re: If not Ada, what else... Newsgroups: comp.lang.ada References: <87r58vmmo0.fsf@mid.deneb.enyo.de> Followup-To: comp.lang.ada MIME-Version: 1.0 Message-ID: X-Usenet-Provider: http://www.giganews.com X-Trace: sv3-hR1xA6D3EnGIUfWLlDiUdmyDWEgtTbmWI0Y71sD34mb4i++V5TLbmXd0R8/KQkaSxYKIuh3RtmDJXAv!N9ix2EknwsyFh49/KY1D1Xnzr0ensAQOueBwlSncLzMmnUCvJ70Nub98szGb93iPEJPbn153MbbI!VVfMiIOyNYEOpW9n4W0gA7Jb X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.3.40 X-Original-Bytes: 1430 Xref: g2news1.google.com comp.lang.ada:18984 Date: 2011-04-22T16:50:01+01:00 List-Id: Florian Weimer wrote: > If Mercury is in, then the ML family (Standard ML, Objective Caml, > Visual F#, Haskell) is probably not too distant, either. 8-) I thnk you are placing Mercury in the "functional" category; think of it rather as a strongly typed Prolog (though with some extra functional bits). Robert Matthews