Reimplementing the bulk of std.meta iteratively

claptrap clap at trap.com
Mon Sep 28 22:13:13 UTC 2020


On Monday, 28 September 2020 at 21:55:45 UTC, Andrei Alexandrescu 
wrote:
> On 9/28/20 5:08 PM, claptrap wrote:
>> 
>> Who's actually heard of reification outside of compiler 
>> writers? Ive been reading a ton of compiler related stuff 
>> lately, but not heard of it before now. It's seems like an 
>> implementation detail leaking out to me. Instead of first 
>> class types lets have whatever this stuff is cause we can get 
>> it on the cheap and its intellectually cool.
>
> Reification is first class types.

If you have to litter your code with refiy / dereify then it's 
not first class. It's not a language feature but a library one. 
Hence not first class.


More information about the Digitalmars-d mailing list