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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED.fn3LatRFkm9/xzEj7F2/NQ.user.gioia.aioe.org!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Ada vs Eiffel
Date: Mon, 14 Oct 2019 17:01:06 +0200
Organization: Aioe.org NNTP Server
Message-ID: <qo22ji$1ifn$1@gioia.aioe.org>
References: <87a7a3l8wo.fsf@gmail.com>
NNTP-Posting-Host: fn3LatRFkm9/xzEj7F2/NQ.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:60.0) Gecko/20100101
 Thunderbird/60.9.0
X-Notice: Filtered by postfilter v. 0.9.2
Content-Language: en-US
Xref: reader01.eternal-september.org comp.lang.ada:57272
Date: 2019-10-14T17:01:06+02:00
List-Id: <comp.lang.ada>

On 2019-10-14 16:05, Saša Janiška wrote:

> Now, I'd like to hear from more experienced people here if You can share
> some pro/cons between Ada & Eiffel?

IMO, Eiffel treats contracts wrong. Ada has both dynamically constrained 
[sub]types and contracts proper (with Ada's SPARK). However, the latter 
might be too challenging for designing a GUI application.

P.S. Regarding FLOSS and GtkAda I maintain a widget library, it is free:

    http://www.dmitry-kazakov.de/ada/aicwl.htm

P.P.S. There are also people maintaining Ada binding to Qt and doing 
impressive things with. So GTK is by far not the only option for Ada. 
There are numerous Windows-specific GUI frameworks for Ada too. E.g. 
Claw etc.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de