I don't know of an imperarive GCed language with a reasonably expressive type system Well, we have no idea what you consider to be imperative and what you cons

I don't know of an imperarive GCed language with a reasonably expressive type system Well, we have no idea what you consider to be imperative and what you consider a reasonably expressive type system to be.