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!news2.google.com!news.glorb.com!news.ripco.com!feeder.erje.net!news.internetdienste.de!news.tu-darmstadt.de!news.belwue.de!LF.net!news.enyo.de!not-for-mail
From: Florian Weimer <fw@deneb.enyo.de>
Newsgroups: comp.lang.ada
Subject: Re: If not Ada, what else...
Date: Thu, 21 Apr 2011 21:25:51 +0200
Message-ID: <87r58vmmo0.fsf@mid.deneb.enyo.de>
References: <iomd56$c1s$1@dont-email.me>
	<domdnfRBzrK9-i3QnZ2dnUVZ8rKdnZ2d@brightview.co.uk>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: ruchba.enyo.de 1303413953 28879 172.17.135.6 (21 Apr 2011 19:25:53
 GMT)
X-Complaints-To: news@enyo.de
Cancel-Lock: sha1:J7wQXcI5JBVxOxfJzgxjQQLfg/o=
Xref: g2news2.google.com comp.lang.ada:19932
Date: 2011-04-21T21:25:51+02:00
List-Id: <comp.lang.ada>

* Robert Matthews:

> For an old Ada programmer the following from the web site gives me
> a warm fuzzy feeling ;)
>
> "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."

If Mercury is in, then the ML family (Standard ML, Objective Caml,
Visual F#, Haskell) is probably not too distant, either. 8-)