[OT] On the Expressive Power of Programming Languages

[Petar]

On Monday, 16 November 2020 at 16:40:56 UTC, Petar Kirov 
[ZombineDev] wrote:
> On Monday, 16 November 2020 at 16:37:07 UTC, Steven 
> Schveighoffer wrote:
>> On 11/14/20 8:01 PM, Paul Backus wrote:
>>> [...]
>>
>> I enjoyed the talk and like the principles shown.
>>
>> But I think this doesn't really answer the question of which 
>> language is more expressive than another, because they are 
>> completely separate languages. It's more of a test as to 
>> whether a language feature adds expressiveness to an existing 
>> language (that is, when language A is equivalent to language B 
>> + feature F).
>>
>> And the bar is pretty high. I don't know if there are many 
>> "expressive" features left to add to D if we go by this 
>> definition unless we go AST-macros.
>>
>> -Steve
>
> string mixins kind of ruined this distinction for us - even AST 
> macros would have a hard time proving that they can't be 
> expressed via (mixin(genCode(params))) :D

s/expressed via/locally re-written (lowered to)/