[moonchild]

I suspect d's metaprogramming is not as good as nim's (haven't used the latter), though it's better than metaprogramming of every language I've used without macros.

That said, it can do all of the metaprogramming-related tasks you mention.

[mratsim]

Are you aware of D libraries in that vein? I'm especially interested in the first 2, since those are something I'm actively working on at the moment.

[moonchild]

I don't know of any DSLs, but the stdlib arbitrary precision integer library works just fine at compile time:

  enum x = BigInt("0xffffffffffffffffffffffffffffffff") % 2;
  writeln(x);

('enum' means 'make this value a compile-time constant; error if you can't')