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: 
 g2news2.google.com!news3.google.com!feeder.news-service.com!feeder1.cambriumusenet.nl!feed.tweaknews.nl!193.141.40.65.MISMATCH!npeer.de.kpn-eurorings.net!npeer-ng0.de.kpn-eurorings.net!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Thu, 21 Apr 2011 21:02:20 +0200
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.6; en-US;
 rv:1.9.2.17) Gecko/20110414 Thunderbird/3.1.10
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: If not Ada, what else...
References: <iomd56$c1s$1@dont-email.me>
 <domdnfRBzrK9-i3QnZ2dnUVZ8rKdnZ2d@brightview.co.uk>
In-Reply-To: <domdnfRBzrK9-i3QnZ2dnUVZ8rKdnZ2d@brightview.co.uk>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <4db07f3d$0$6765$9b4e6d93@newsspool3.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 21 Apr 2011 21:02:21 CEST
NNTP-Posting-Host: 8eb5796b.newsspool3.arcor-online.net
X-Trace: 
 DXC=NFCEA0lF3Q@2jYf>V4L0gLMcF=Q^Z^V3H4Fo<]lROoRA8kF<OcfhCOKNnY[\SNbC7HPCY\c7>ejVHe[0_KkfSTLD7:RiFP07BYA
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:19929
Date: 2011-04-21T21:02:21+02:00
List-Id: <comp.lang.ada>

On 4/21/11 7:19 PM, Robert Matthews wrote:

> "Mercury is a new logic/functional programming language, which combines the
> clarity and expressiveness of declarative programming with advanced static
> analysis and error detection features."
>
> Shame it doesn't have an Ada back end.

Once I have tried to translate the compiler's sources  (in C)
on Mac OS X.  Only went so far.  And only after tackling
automess, IIRC.

Sad. ;-)