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: a07f3367d7,cc3c5a58c46ea9c4 X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII-7-bit X-Received: by 10.180.86.38 with SMTP id m6mr1254260wiz.0.1364344775219; Tue, 26 Mar 2013 17:39:35 -0700 (PDT) Path: ex12ni5435wid.1!nntp.google.com!feeder1.cambriumusenet.nl!82.197.223.103.MISMATCH!feeder3.cambriumusenet.nl!feed.tweaknews.nl!193.141.40.65.MISMATCH!npeer.de.kpn-eurorings.net!npeer-ng0.de.kpn-eurorings.net!border2.nntp.ams2.giganews.com!border4.nntp.ams.giganews.com!border2.nntp.ams.giganews.com!border2.nntp.dca.giganews.com!border3.nntp.dca.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsgate.cuhk.edu.hk!goblin1!goblin.stu.neva.ru!newsfeed.fsmpi.rwth-aachen.de!nuzba.szn.dk!news.jacob-sparre.dk!munin.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail From: Jacob Sparre Andersen Newsgroups: comp.lang.ada Subject: Re: Runtime startup code for the GNAT Runtime...and a bit of humble pie. Date: Fri, 22 Mar 2013 17:39:28 +0100 Organization: Jacob Sparre Andersen Research & Innovation Message-ID: <87wqszl77j.fsf@adaheads.sparre-andersen.dk> References: <21ad4ef7-0e4a-40ba-ac3f-fe21018c7bd9@googlegroups.com> <1b0r595r7mo50.5ixrxomanvxr$.dlg@40tude.net> <7dbb0f14-c059-45ab-9eda-2782cb3edcc3@googlegroups.com> NNTP-Posting-Host: 91.194.37.55 Mime-Version: 1.0 X-Trace: munin.nbi.dk 1363970373 21265 91.194.37.55 (22 Mar 2013 16:39:33 GMT) X-Complaints-To: news@jacob-sparre.dk NNTP-Posting-Date: Fri, 22 Mar 2013 16:39:33 +0000 (UTC) User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.2 (gnu/linux) Cancel-Lock: sha1:Hi465a65BqDHSGdIr84kmbsFkjg= Content-Type: text/plain; charset=us-ascii Date: 2013-03-22T17:39:28+01:00 List-Id: Randy Brukardt wrote: > The GUI-in-a-browser/Ada-backend-on-the-server project. I had toyed > with the idea of making a Claw subset that worked that way a long time > ago (probably 10 years now), but I got stuck on the problem of how to > deal with the server (you can only have one such program running on a > computer easily, since there is only one port 80 to respond to; you > can use other ports but those quickly run into issues with web filters > and proxies and firewalls). > > It seems that there is a market for such tools in other languages, it > would be nice to have one for a language with strong correctness > underpinnings. We are (to some extent) doing that at AdaHeads. We use Ada on the server and Dart in the browser. We use AWS to implement the interaction with the browser through a "REST" interface. My main worry is if Dart and a browser is really more robust than a GtkAda or QtAda application. Our funding customer for the project is confident that Dart and a browser is at least sufficiently robust. And they like/want the separation in core services (Ada server), user interface looks (HTML) and user interface implementation (Dart). > But I doubt that there are enough possible open-minded customers to > make it worth the effort. Luckily our customer for this project is very open-minded. As it is also a requirement that the whole application is Open Source, you can follow our work at . Greetings, Jacob PS: I will give a presentation of our work and our experience with using Ada 2012 for the application at the Ada-Europe conference in Berlin in June. -- PNG: Pretty Nice Graphics