On Monday, 11 June 2018 at 10:38:30 UTC, Mike Franklin wrote:
On Monday, 11 June 2018 at 10:07:39 UTC, Walter Bright wrote:
I think there might also be optimization opportunities using
templates, metaprogramming, and type introspection, that are
not currently possible with the current design.
Just making it a template doesn't automatically enable any of
this.
I think it does, because I can then generate specific code
based on the type information at compile-time.
Also, before you do any more nay-saying, you might want to
revisit this talk https://www.youtube.com/watch?v=endKC3fDxqs
which demonstrates precisely the kind of benefits that can be
achieved with these kinds of changes to the compiler/runtime
interface.
Mike
