Reimplementing the bulk of std.meta iteratively

[Andrei Alexandrescu]

On 9/28/20 6:13 PM, claptrap wrote:
> 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.

I agree. Reification is a transformation that takes a non-first-class 
type and produces a first-class value.