It seems that currently the only languages web browsers execute reliably are JavaScript and JBC (Java Byte Code) , with WASM (Web Assembly) soon to join the group.

Is there a way to program a web frontend in Ada 2012, maybe by translation to one of the above languages?

(Preferably with a binding to the DOM and the BOM.)

(Maybe via LLVM? GNAT already generates LLVM, right?)

Thanks a lot.

On 6/8/21 10:56 AM, Marius Amado-Alves wrote:
> It seems that currently the only languages web browsers execute reliably are JavaScript and JBC (Java Byte Code) , with WASM (Web Assembly) soon to join the group.
>
> Is there a way to program a web frontend in Ada 2012, maybe by translation to one of the above languages?
>
> (Preferably with a binding to the DOM and the BOM.)
>
> (Maybe via LLVM? GNAT already generates LLVM, right?)

Have you looked at Gnoga? https://sourceforge.net/projects/gnoga/

--
Jeff Carter
"Ada has made you lazy and careless. You can write programs in C that
are just as safe by the simple application of super-human diligence."
E. Robert Tisdale
72

Indeed, there is a project to run Ada in the browser using WebAssembly. It's name AdaWebPack[1].
It provides a toolchain based on GNAT LLVM and a customized runtime.
The runtime has some restrictions for now, such as no exception handling due to current
state of WebAssemlby. The toolchain building could be complicated, so the project provides
a Docker image.

The project provides the simplest example (See online: https://www.ada-ru.org/files/wasm/index.html).
This site (in Russian) uses it to provide some construction calculations https://mycalcs.ru/
Also take a look a short blog post: https://blog.adacore.com/android-application-with-ada-and-webassembly

I think, you can reach the author on the Telegram channel https://t.me/ada_lang

[1] https://github.com/godunko/adawebpack

> (Maybe via LLVM? GNAT already generates LLVM, right?)
>
> Thanks a lot.

On 08/06/2021 09:56, Marius Amado-Alves wrote:
> It seems that currently the only languages web browsers execute reliably are JavaScript and JBC (Java Byte Code) , with WASM (Web Assembly) soon to join the group.
>
> Is there a way to program a web frontend in Ada 2012, maybe by translation to one of the above languages?
>
> (Preferably with a binding to the DOM and the BOM.)
>
> (Maybe via LLVM? GNAT already generates LLVM, right?)
>
> Thanks a lot.
>

There's always been CGI, there is a FastCGI implementation, my SCGI is
nowhere near complete, and may as well be dead tbh.

> Jeff Carter
> "Ada has made you lazy and careless. You can write programs in C that
> are just as safe by the simple application of super-human diligence."
> E. Robert Tisdale

Jeff, I thought your signature quotes were random, but this one... just replace C with JavaScript.

> There's always been CGI, there is a FastCGI implementation, my SCGI is
> nowhere near complete, and may as well be dead tbh.

Thanks, Luke. I've used CGI in the past (~2000). But now I'm a grown man and want to use a single language:-)

(
Cannot refind the meme now. 'Twas something like this:
beginner web developer: {HTML...}
intermediate: {HTML, CSS, Javascript...}
master: {Javascript}
)

On 08/06/2021 15:12, Marius Amado-Alves wrote:
>> There's always been CGI, there is a FastCGI implementation, my SCGI is
>> nowhere near complete, and may as well be dead tbh.
>
> Thanks, Luke. I've used CGI in the past (~2000). But now I'm a grown man and want to use a single language:-)

Eh? Surely you know CGI is basically stdin/out right? SCGI and FastCGI
is just that over sockets and you can use Ada.

> Have you looked at Gnoga? https://sourceforge.net/projects/gnoga/

Yes. Looks great and reliable. Quick read of the well written user_guide (I must be rainman cause I spotted this typo: Gnoga.Gui.Ekement.Canvas)

Looks too complicated for my present needs, but definitely a reference to keep. Thanks, Jeff.

> > Thanks, Luke. I've used CGI in the past (~2000). But now I'm a grown man and want to use a single language:-)
> Eh? Surely you know CGI is basically stdin/out right? SCGI and FastCGI
> is just that over sockets and you can use Ada.

Thanks, yes, then maybe I'm missing something, I dont see how that lets an Ada program run *in the browser*.
I used CGI to pass information (including generated HTML and the like) between the Ada program running as (and in a) server and the browser, an arquitecture still requiring non-Ada languages in the front end.
Maybe I was doing it wrong.

A number of ideas keep tickling my mind on how to do this. One is using ASIS to translate Ada to JavaScript, a kind of Ada compiler with Javascript as the target language.

On 08/06/2021 15:55, Marius Amado-Alves wrote:
>>> Thanks, Luke. I've used CGI in the past (~2000). But now I'm a grown man and want to use a single language:-)
>> Eh? Surely you know CGI is basically stdin/out right? SCGI and FastCGI
>> is just that over sockets and you can use Ada.
>
> Thanks, yes, then maybe I'm missing something, I dont see how that lets an Ada program run *in the browser*.
> I used CGI to pass information (including generated HTML and the like) between the Ada program running as (and in a) server and the browser, an arquitecture still requiring non-Ada languages in the front end.
> Maybe I was doing it wrong.
>

CGI programs are started by the browser on the server, SCGI and FastCGI
are servers running on the server. See

https://github.com/Lucretia/ether
https://github.com/reznikmm/matreshka

If you want front end stuff, i.e. WebAssembly, you can do that, see

https://groups.google.com/g/comp.lang.ada/c/X-x1e-4w7dk/m/09nYKa-RAwAJ (Me)
https://groups.google.com/g/comp.lang.ada/c/i7niKZL8HAU/m/Y4I03LnLAgAJ
(Maxim)
https://blog.adacore.com/use-of-gnat-llvm-to-translate-ada-applications-to-webassembly

Speaking about "a single language" for frontend and backend. There was an idea to port Annex E (DSA) to AdaWebPack and use it as a communication channel between a web server written in Ada and WebAssembly client part.

вторник, 8 июня 2021 г. в 12:35:27 UTC+3, Max Reznik:
> Indeed, there is a project to run Ada in the browser using WebAssembly. It's name AdaWebPack[1].
> It provides a toolchain based on GNAT LLVM and a customized runtime.
> The runtime has some restrictions for now, such as no exception handling due to current
> state of WebAssemlby. The toolchain building could be complicated, so the project provides
> a Docker image.
>
> The project provides the simplest example (See online: https://www.ada-ru..org/files/wasm/index.html).
> This site (in Russian) uses it to provide some construction calculations https://mycalcs.ru/
> Also take a look a short blog post: https://blog.adacore.com/android-application-with-ada-and-webassembly
>
> I think, you can reach the author on the Telegram channel https://t.me/ada_lang
>
> [1] https://github.com/godunko/adawebpack
> > (Maybe via LLVM? GNAT already generates LLVM, right?)
> >
> > Thanks a lot.

On 6/8/21 3:42 PM, Marius Amado-Alves wrote:
>> Jeff Carter
>> "Ada has made you lazy and careless. You can write programs in C that
>> are just as safe by the simple application of super-human diligence."
>> E. Robert Tisdale
>
> Jeff, I thought your signature quotes were random, but this one... just replace C with JavaScript.

I guess pseudo-random is technically correct (from a set of 203 without
duplication), but sometimes serendipity strikes.

--
Jeff Carter
"Ada has made you lazy and careless. You can write programs in C that
are just as safe by the simple application of super-human diligence."
E. Robert Tisdale
72

On 08/06/2021 16:22, Max Reznik wrote:
> Speaking about "a single language" for frontend and backend. There was an idea to port Annex E (DSA) to AdaWebPack and use it as a communication channel between a web server written in Ada and WebAssembly client part.

But?

вторник, 8 июня 2021 г. в 19:06:16 UTC+3, Luke A. Guest:
> But?

But, there is
* no interest from the community
* no interesting projects where I can use this idea
* no enough free time

вторник, 8 июня 2021 г. в 18:01:21 UTC+3, amado:
> A number of ideas keep tickling my mind on how to do this. One is using ASIS to translate Ada to JavaScript, a kind of Ada compiler with Javascript as the target language.

I did some progress in this direction, but ASIS4GNAT is abandoned and my project is suspended. The only user I have moved to AdaWebPack :)
The source code of the translator is part of the Matreshka project.

https://forge.ada-ru.org/matreshka/wiki/Web/A2JS
There is GitHub mirror:
https://github.com/reznikmm/matreshka

Le 08/06/2021 à 18:26, Maxim Reznik a écrit :
> I did some progress in this direction, but ASIS4GNAT is abandoned and my project is suspended.

ASIS4GNAT is not abandonned, it is just not part of the CE edition. Pro
users have access to it.

Please drop me a note if you have developped an ASIS tool, or are using
an ASIS-based tool. With enough protests, we may convince AdaCore to
make ASIS4GNAT available to the community.

--
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52
https://www.adalog.fr

On Tuesday, June 8, 2021 at 9:22:55 AM UTC-6, Max Reznik wrote:
> Speaking about "a single language" for frontend and backend. There was an idea to port Annex E (DSA) to AdaWebPack and use it as a communication channel between a web server written in Ada and WebAssembly client part.

I've been advocating this idea [well similar, I'm nor a fan of WASM] for years now.
Seriously: The DSA has the potential to be the Ada equivalent of being the "killer app" or "killer feature" for getting use.

On Tuesday, June 8, 2021 at 10:19:43 AM UTC-6, Maxim Reznik wrote:
> вторник, 8 июня 2021 г. в 19:06:16 UTC+3, Luke A. Guest:
> > But?
>
> But, there is
> * no interest from the community
There is it's just that point three makes it a bit harder.
> * no interesting projects where I can use this idea
There are LOTS of programs that could use this idea; essentially anything that you could use as a single application and split-up on server/client lines could be used.
> * no enough free time
This is the biggest factor, I think.
That and there appears to be some difficulty (as in non-compliance to the standard) WRT GNAT and the DSA; Dmitry would have more details there, as he has his own RPC/DSA implementation ready to go, IIRC.

On Tuesday, June 8, 2021 at 10:26:58 AM UTC-6, Maxim Reznik wrote:
> вторник, 8 июня 2021 г. в 18:01:21 UTC+3, amado:
> > A number of ideas keep tickling my mind on how to do this. One is using ASIS to translate Ada to JavaScript, a kind of Ada compiler with Javascript as the target language.
> I did some progress in this direction, but ASIS4GNAT is abandoned and my project is suspended. The only user I have moved to AdaWebPack :)
> The source code of the translator is part of the Matreshka project.
Damn.
I was hoping to see more on the translator.
Especially if it could be integrated into GNOGA, that way we could write everything in Ada and have the GNOGA-frontend-JS be generated from the same set of source.
> https://forge.ada-ru.org/matreshka/wiki/Web/A2JS
> There is GitHub mirror:
> https://github.com/reznikmm/matreshka
I'll have to take another look at it, but like I said upthread, time is the big issue.

On 10/06/2021 16:16, Shark8 wrote:
>> * no enough free time
> This is the biggest factor, I think.
> That and there appears to be some difficulty (as in non-compliance to the standard) WRT GNAT and the DSA; Dmitry would have more details there, as he has his own RPC/DSA implementation ready to go, IIRC.
>

This, for this and other OSS projects, could be ameliorated by the
company's who sell compilers, all of them, not just AdaCore, funding or
helping fund the development of various OSS projects. I saw something
about of reddit recently I think where people were saying that OSS
projects just die out because the maintainers just burn themselves out
doing a full time job (for money) and then trying to keep OSS projects
going (for no money).

Marius Amado-Alves <amado.alves@gmail.com> writes:
> A number of ideas keep tickling my mind on how to do this. One is
> using ASIS to translate Ada to JavaScript, a kind of Ada compiler with
> Javascript as the target language.

It's unclear to me why anyone would want to do this, since it combines
the disadvantages of both Javascript (interpreted, non-deterministic
execution) and Ada (manual memory management etc.)

If you want to use a typed language that gets translated into
Javascript, you might be better off using Purescript (purescript.org) or
even something like Agda.

Ada to WASM might make more sense than Ada to Javascript, of course.

"J-P. Rosen" <rosen@adalog.fr> writes:

> Le 08/06/2021 à 18:26, Maxim Reznik a écrit :
>> I did some progress in this direction, but ASIS4GNAT is abandoned
> and my project is suspended.
>
> ASIS4GNAT is not abandonned, it is just not part of the CE edition.
> Pro users have access to it.

On the other hand, if you are starting a new project, libadalang is a
better choice.

--
-- Stephe

Le 11/06/2021 à 20:47, Stephen Leake a écrit :
> "J-P. Rosen" <rosen@adalog.fr> writes:
>
>> Le 08/06/2021 à 18:26, Maxim Reznik a écrit :
>>> I did some progress in this direction, but ASIS4GNAT is abandoned
>> and my project is suspended.
>>
>> ASIS4GNAT is not abandonned, it is just not part of the CE edition.
>> Pro users have access to it.
>
> On the other hand, if you are starting a new project, libadalang is a
> better choice.
>
What makes you think so?

By all means, compare the specifications of an ASIS package
(Asis.Statements, Asis.Declarations) to Libadalang.Analysis and see
which one is more usable...

--
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52
https://www.adalog.fr

On 9/6/21 3:02 pm, J-P. Rosen wrote:
>
> Please drop me a note if you have developped an ASIS tool, or are using
> an ASIS-based tool. With enough protests, we may convince AdaCore to
> make ASIS4GNAT available to the community.
>

I switched from ASIS to libadalang for an Ada IDE project also, since I
thought ASIS was abandoned.