Re: Tail call elimination

[Jouke Witteveen]

On Mon, May 11, 2020 at 11:33 PM Pete Dietl <address@hidden> wrote:
>
> Indeed I understand these concerns.
> So the consensus seems to be that I may go ahead and attempt to implement 
> this.
>
> Other than the (let) and tail call optimization, I would like to know your 
> thoughts about
> adding something like $(expr ) to evaluate integer expressions and 
> comparisons.

Not that my opinion should carry any weight, but I do not like the
idea of adding an arithmetic context to make. It should not be
necessary for the use-cases of make. Bash has an arithmetic context,
and while it works (and is useful), it sort of sticks out like a sore
thumb design-wise [1].

I did not understand the concerns regarding Turing completeness.
Unless I am overlooking something, make has been Turing complete at
least as long as it has $(call).

Regards,
- Jouke

[1] It's weirder than you may think:
https://mywiki.wooledge.org/ArithmeticExpression