Suggestion: DeepReadonly<T> type

TypeScript Version: 2.1.1 / nightly (2.2.0-dev.201xxxxx)

Code

It would be nice to have a shard, standard library type that allows to express deep readonly-ness (not really const, since methods are out of scope, but still...):

interface Y { a: number; }
interface X { y: Y; }
let x: Readonly<X> = {y: {a: 1}};
x.y.a = 2;  // Succeeds, which is expected, but it'd be nice to have a common way to express deep readonly

type DeepReadonly<T> = {
  readonly [P in keyof T]: DeepReadonly<T[P]>;
}
let deepX: DeepReadonly<X> = {y: {a: 1}};
deepX.y.a = 2; // Fails as expected!

Inizia con l’esempio di DeepReadonly dell’issue e verifica come si comportano i tipi mappati e ricorsivi in TypeScript 2.1. Il risultato richiesto è un tipo deep-readonly comunemente disponibile le cui proprietà annidate rifiutino le assegnazioni, ma l’issue non indica alcun file, test o percorso di implementazione definito; conferma il design previsto della libreria standard e aggiungi la copertura per il caso mostrato di un oggetto annidato.