Reimplementing the bulk of std.meta iteratively

Bruce Carneal bcarneal at gmail.com
Mon Sep 28 23:01:19 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.)

As I understand it, they allow types to be put in to compile time 
variables, but not run time variables.  It's more than we had 
before type functions, but less than run-time first class.  What 
name do the type theory folk give to such a capability?



More information about the Digitalmars-d mailing list