Discussion Thread: DIP 1041--Attributes for Higher-Order Functions--Community Review Round 1

Timon Gehr timon.gehr at gmx.ch
Thu Apr 15 20:24:43 UTC 2021


On 15.04.21 01:51, deadalnix wrote:
> On Wednesday, 14 April 2021 at 22:23:38 UTC, Timon Gehr wrote:
>> For example, above, the semantics of `T[]` and `T delegate(S)` are not 
>> fully compositional, because they have special cases for `T = void`.
>>
> 
> How is void delegate(S) a spcial case?
> ...

`void` has no semantics as a type of a value, so any place where it is 
valid where ordinarily such a type would be requested is a special case.

> Great post, BTW.
> 

Thanks!


More information about the Digitalmars-d mailing list