Access `global` as a type

Since https://github.com/Microsoft/TypeScript/wiki/What%27s-new-in-TypeScript#augmenting-globalmodule-scope-from-modules it's been possible to augment the global from a module. However, in TypeScript definitions (such as dom.d.ts or node.d.ts) we're left to create our own "globals". This results in two issue:

1. inconsistency with what is actually the global namespace
2. requiring the declaration of global types multiple times in case it's used as a "real global" or from window. (browsers) or global. (node)

Instead of this, it'd be really nice to access TypeScript's global as a type. For instance, in dom.d.ts we could do:

declare var window: global

Or in node.d.ts:

declare var global: global

I couldn't see any previous issues, but it's partially related to things like https://github.com/Microsoft/TypeScript/issues/12902 - the difference though is that those issues seems to be tracking adding variables to the TypeScript global scope whereas this would be using the global scope as a type to define these variables themselves.

Inizia esaminando la proposta insieme a dom.d.ts e node.d.ts, poi leggi l’issue correlata #12902 per distinguere questa richiesta dalle aggiunte all’ambito globale. Il lavoro è completo quando TypeScript fornisce un tipo di namespace globale utilizzabile, in modo che dichiarazioni come window e global possano farvi riferimento senza duplicare i tipi globali.