core.traits?

[Mike Franklin]

On Saturday, 5 January 2019 at 21:12:54 UTC, Manu wrote:

> We should move them to core.traits, and that should be their 
> official home. It really just makes sense. Uncontroversial 
> low-level traits don't belong in phobos.

I'm not really doing much with D anymore, so I apologize for 
interrupting the conversation, but I had an idea I wanted to 
offer just in case it might help.

This was something I tried to tackle about 6 months ago, called 
it "UtiliD" 
(https://forum.dlang.org/post/wgkbamnlraustaycbbya@forum.dlang.org).  I ultimately failed due to the tangle of Phobos, and because my life priorities changed I gave up and deleted my repository (oops!).

Anyway, my suggestion is to create a new library separate from 
druntime and phobos that has no dependencies whatsoever (no libc, 
no libstdc++, no OS dependencies, no druntime dependency, etc.).  
I mean it; **no dependencies**.  Not even object.d.  The only 
thing it should require is a D compiler.

That library can then be imported by druntime, phobos, betterC 
builds, or even the compiler itself. It will take strict 
enforcement of the "no dependency" rule and good judgment to keep 
the scope from ballooning, but it may be a good place for things 
like `traits`, `meta` and others.

Hope I'm not just making noise.

Mike