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