rvalue types

[Meta]

On Tuesday, 13 March 2018 at 17:33:14 UTC, H. S. Teoh wrote:
> I think the general idea is a good approach, and it seems that 
> ultimately we're just reinventing expression DSLs.  Overloading 
> built-in operators works up to a point, and then you really 
> want to just use a string DSL, parse that in CTFE and use mixin 
> to codegen.  That frees you from the spaghetti template 
> expansions in expression templates, and also frees you from 
> being limited by built-in operators, precedence, and syntax.

IMO one of the advantages that Dmitry's approach has is that you 
don't have to do the lexing during CTFE, which may slow things 
down even more. It's already done for you by the user.