Re: Unifont static compiled and stack size...

["Randy Brukardt" <randy@rrsoftware.com>]

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:ubhpme$370q7$1@dont-email.me...
> On 2023-08-15 10:40, G.B. wrote:
>> On 14.08.23 10:31, Dmitry A. Kazakov wrote:
>>>
>>> P.S. I always wanted static functions in Ada for the purpose of all 
>>> static initializations of objects like maps etc.
>>>
>>
>> If data form the equivalent of a static Ada array,
>> thus a mapping from an index type to a value type,
>> could you approximate the static initialization
>> of maps using expression functions?
>
> In general case no. Initialization cannot be decomposed into functions. 
> E.g. when requires global [yet static] data, many places to set etc.
>
> P.S. Expression functions are evil. I wonder why there is no expression 
> gotos and labels? If you sell your soul to the devil, get the whole 
> package! (:-))

Ada only allows expressions to be evaluated at elaboration time (outside of 
generic instantations), and expressions have a well-defined and simple 
control flow (even accounting for conditional expressions and quantified 
expressions, both of which implicitly appear in aggregates even in Ada 83 --  
allowing programmers to write them explicitly makes the code more readable 
than the horrible work-arounds commonly used pre-Ada 2012). Gotos and labels 
have arbitrary control flow, which can be much harder to analyze. (Janus/Ada 
converts the majority of code into an expression form for optimization --  
essentially most id statements become if expressions, and so on. It simply 
punts when the control flow is too complex to convert, so the unrestricted 
use of gotos effectively prevents most optimization as well as static 
analysis.)

If it was up to me, I would have left out declare expressions and quantified 
expressions, so the capabilities of expression functions would have been 
much more limited. But it seems valuable to be able to abstract an 
expression without changing the semantics (as requiring a separate body 
does).

                                   Randy.