Reimplementing the bulk of std.meta iteratively

claptrap clap at trap.com
Mon Sep 28 21:54:48 UTC 2020


On Monday, 28 September 2020 at 21:27:56 UTC, Timon Gehr wrote:
> On 28.09.20 23:08, claptrap wrote:
>> Instead of first class types
>
> (Stefan's type functions do not give you first-class types. A 
> first-class type you could put in a runtime variable.)

First class in the context of compile time meta programming i 
guess is more apt. I mean what people want is to manipulate these 
things at compile time so you want them to be first class in that 
context. Could just be called reified types to keep Andrei happy 
;)


More information about the Digitalmars-d mailing list