spir: > i understand this, but many elements are compile-time things and still > available at runtime: all consts, static, enum... and all funcs! Seems only > types vanish.
Right. They traditionally "vanish" because most times you don't need them, so you save both some memory and computations at runtime. D style is to work more on types at compile-time. More or full run time reflection might be added but at the moment this is a bit against D design philosophy. D is a more powerful C, it's not a more Algol-style Dylan. Bye, bearophile