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 2002:ac8:735a:: with SMTP id q26mr2340609qtp.233.1588233764461;
        Thu, 30 Apr 2020 01:02:44 -0700 (PDT)
X-Received: by 2002:a4a:4fc1:: with SMTP id c184mr1741866oob.45.1588233764060;
 Thu, 30 Apr 2020 01:02:44 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.gegeweb.eu!gegeweb.org!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Thu, 30 Apr 2020 01:02:43 -0700 (PDT)
In-Reply-To: <9a4ad55c-ef0d-42ab-a438-cabc71a491a6@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: google-groups.googlegroups.com;
 posting-host=2a02:1206:4544:3750:8512:73ab:1a0b:5d73;
 posting-account=gRqrnQkAAAAC_02ynnhqGk1VRQlve6ZG
NNTP-Posting-Host: 2a02:1206:4544:3750:8512:73ab:1a0b:5d73
References: <9a4ad55c-ef0d-42ab-a438-cabc71a491a6@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <d8546592-bfba-4a84-a339-fc49a943c16b@googlegroups.com>
Subject: Re: Script-like jobs in Ada (ideas for HAC)
From: gautier_niouzes@hotmail.com
Injection-Date: Thu, 30 Apr 2020 08:02:44 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader01.eternal-september.org comp.lang.ada:58531
Date: 2020-04-30T01:02:43-07:00
List-Id: <comp.lang.ada>

Thank you all for your answers and brainstorming.
Here are a few points, so far, to summarize:

- Clear need for adding strings and files manipulation,
    access to databases, UI, ...

- Embeddable: inside a real Ada program? Yes, it is possible.
  Here I just simplify what you find in hax.adb:
  ...
    CD : Compiler_Data;
  begin
    Set_Source_Stream (CD, [Some stream access], [Possibly related file name]);
    Compile (CD);
    if CD.Err_Count = 0 then
      Interpret_on_Current_IO (CD);
    end if;
    ...
    
- Freezing and restoring the state of the VM, and its data: it is possible.
    I still need to wrap the "global" variables for the state of the VM
    interpreter into an object type, but it is doable : they are located
    in a subpackage that could be turned into a record type with not much
    more effort than hitting it with a magic wand ;-) .

- Jupyter: seems something to be considered!
- Euphoria: seems a very good source of inspiration<!

- The nasty need for "with HAC_Pack; use HAC_Pack;"
    Yes it is still required - until the point where support
    for packages will be implemented in HAC.
    However, it is already possible to cross-compile, since there
    is a "real" package (spec + body) in pure Ada in
      exm/special/hac_pack.ads,
      exm/special/hac_pack.adb.
    For instance, the HAC demos and tests can be built with GNAT
    through the exm/hac_exm.gpr and test/hac_test.gpt project files
    respectively.
    That's the big difference between HAC and a classical
    scripting language system: in the classical setup, the frontier
    is permanently set between the slow/interpreted/dynamic-typing part
    and the fast/compiled/static-typing part.
    Typically people need to reprogram parts or all of their scripts
    as C++ inserts in order to have a decent performance.
    With HAC you have the option to switch to your preferred compiler,
    with native code generation and optimization options.
    For a mix VM/native code, we could imagine options or pragmas that
    triage units to VM or native code compilation. Just thinking loud...

Finally, here is an example of use (just written "live" using the LEA
editor, during a homeschooling session):

with HAC_Pack;  use HAC_Pack;

procedure einmaleins is
  x, y : integer;
begin
  x := 1 + rand (9);
  y := 1 + rand (9);
  put(x);
  put(y);
  put(x*y);
end;

_________________________ 
Gautier's Ada programming 
http://gautiersblog.blogspot.com/search/label/Ada 
NB: follow the above link for a valid e-mail address