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