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,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.236.38.225 with SMTP id a61mr26920985yhb.44.1418009896317; Sun, 07 Dec 2014 19:38:16 -0800 (PST) X-Received: by 10.50.136.226 with SMTP id qd2mr189633igb.15.1418009896135; Sun, 07 Dec 2014 19:38:16 -0800 (PST) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!news.glorb.com!peer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!w8no5372018qac.0!news-out.google.com!jh1ni6649igb.0!nntp.google.com!h15no15279717igd.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Sun, 7 Dec 2014 19:38:15 -0800 (PST) Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=103.41.63.11; posting-account=4fWUrwoAAADVRjV2pCvHYc7D992ABDos NNTP-Posting-Host: 103.41.63.11 User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Gnoga and Wasabee From: moixa Injection-Date: Mon, 08 Dec 2014 03:38:16 +0000 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Received-Bytes: 2646 X-Received-Body-CRC: 300355174 Xref: news.eternal-september.org comp.lang.ada:23909 Date: 2014-12-07T19:38:15-08:00 List-Id: [I am not a professional programmer, feel free to correct me.] Gnoga claims to be a cross-platform mission-critical framework for GUI appl= ications, it achieves this goal by using browser. However, this, inevitably= , will use Javascript to communicate with the server. My doubt is, technica= lly, is Javascript a good choice for mission-critical applications? I never= liked Javascript, when I heard about Node.js, I couldn't understand it, wh= y someone want Javascript on the server side, the explanation I came up wit= h is, people are different, some of them like Coke, others like Pepsi. The = moment I heard about Gnoga, I was excited, I thought it is something like Q= t framework, but clearly I was wrong. I am thinking, is it a good idea to combine Gnoga and Wasabee [Wasabee is a= web browser focus on correctness]? Pros: * We can throw Javascript away, use Ada as its embed language. * No need to care about the difference between browsers, since we only use = Wasabee. * Focus on the focus that the project claims to focus, like security, safet= y, etc.. * We can even discard HTML, invent a new markup language, like Mozilla UML?= [I am not sure this is a good idea, just put it here] * Use proof-based programming, by proof-based programming, I mean, you can = rely more on Ada Contract than testing. Cons: * Wasabee itself is in early stage, so, have a lot of work to do, but at le= ast we are on the right direction. * Not cross-platform until you can run Wasabee on every major OS. * Need Wasabee to run. [I don't think this is a disadvantage, you can distr= ibute Wasabee with your application]