Compile-time function execution.

Compile-time function execution.

[Shark8]

I recently came across this article describing a compile-time sort in D -- https://dlang.org/blog/2017/06/05/compile-time-sort-in-d/ -- and vaguely recall reading something on how Ada could have compile-time execution of functions too.

Does anyone have a similar example in Ada?

Re: Compile-time function execution.

[AdaMagica]

There is a chapter 4.9 about static expressions in the RM, but the D examples are far beyond Ada's capabilities with the present rules.

Re: Compile-time function execution.

[Olivier Henley]

On Monday, June 5, 2017 at 7:49:14 PM UTC-4, Shark8 wrote:
> I recently came across this article describing a compile-time sort in D -- https://dlang.org/blog/2017/06/05/compile-time-sort-in-d/ -- and vaguely recall reading something on how Ada could have compile-time execution of functions too.
> 
> Does anyone have a similar example in Ada?

Speaking of which: https://hookrace.net/blog/what-is-special-about-nim/

It covers short and sweet, CTFE, Template and Macros(analyze and manipulate the AST) in Nim. Great stuff.

Re: Compile-time function execution.

[Ivan Levashev]

06.06.2017 6:49, Shark8 пишет:
> I recently came across this article describing a compile-time sort in
> D -- https://dlang.org/blog/2017/06/05/compile-time-sort-in-d/ -- and
> vaguely recall reading something on how Ada could have compile-time
> execution of functions too.
>
> Does anyone have a similar example in Ada?
>
What about mere (inspectable) source generation? QtAda has sample of 
integrating amoc into GPR.

That's the way to go, I believe, more often, than not.

Best Regards,
Ivan Levashev,
Barnaul

--
If you want to get to the top, you have to start at the bottom