Reimplementing the bulk of std.meta iteratively

claptrap clap at trap.com
Mon Sep 28 21:00:27 UTC 2020


On Monday, 28 September 2020 at 02:58:13 UTC, Bruce Carneal wrote:
> On Sunday, 27 September 2020 at 16:32:18 UTC, claptrap wrote:
>>
> I hope and believe that there is another such advance available 
> to us in the form of type functions.  The recently discovered 
> alternative, reify/dereify, appears to be equivalent in power 
> but is, comparatively, baroque.
>
> If the two approaches are actually equivalent in power, and in 
> their ability to address the current template issues, then the 
> baroque should be preferred if the language is closed to 
> syntactic additions.
>
> If the language is not closed, then choosing to displace the 
> already prototyped type function capability with reify/dereify 
> would represent a lost opportunity to administer another 
> complexity smackdown.

Yeah I think A&W etc.. are more concerned about keeping compiler 
complexity down than they are about a clean intuitive language 
interface.


More information about the Digitalmars-d mailing list