Re: initialize an array (1-D) at elaboration using an expression based on the index?

["Chad R. Meiners" <chad.rmeiners@gmail.com>]

On Oct 15, 7:03 pm, "Nasser M. Abbasi" <n...@12000.org> wrote:
> Ada experts:
>
> I am not able to find an example on this.
>
> I was wondering if in Ada I can initialize some array, where I can fill
> the content of each entry in the array based on some function of the index?
>
> For example, in Fortran one can do this:
> -----------------------
> program main
>    integer, parameter :: N = 10
>    real, dimension(N) :: a=(/(j**2,j=1,N)/)
>
>    print*, a
> end program
> ------------------------
> $ gfortran t3.f90
> $ ./a.exe
>     1.0000000       4.0000000       9.0000000       16.000000 etc....
>
> In Ada, what would I need to do in the initialization below?
> ---------------------------
> procedure t2 is
>     N: constant integer := 10;
>     a: array(1..N) of float := (others=>0.0); --??
> begin
>     null;
> end t2;
> -----------------------------
>
> I know ofcourse I can initialize it in the body by a loop, just wanted
> to see if it is possible to do it in the elaboration.
>
> thanks
> --Nasser

We can borrow a page from either ocaml and F# and set up a generic
initialize function.

I don't have access to a compiler and I haven't programmed in Ada for
years, but below is the general idea.

generic
  type T is array (I) of E;
  with function expression(Index: I) return E;
function init return T is
  val : T;
begin
  for index in I'Range loop
    val(index) := expression(I);
  end loop;
  return val;
end function;

procedure t2 is
  N : constant Integer := 10;

  type Foo is array(1..N) of float;
  function exp(j : Integer) return float is return float(j**2); end
function;
  function initFoo is new init(Foo,exp);

  a : Foo := initFoo;
begin
  null;
end t2;

for those interested how it would be done in F# (which has a type
generic init function for arrays):

let t2 () =
  let N = 10 in
  let a = Array.init N (fun j -> let j = j+1 in j*j |> float)
  in ()