Readonly shorthand cast for expression where `as const` is forbidden

🔍 Search Terms

readonly, const readonly, readonly cast, readonly cast expression

✅ Viability Checklist

• This wouldn't be a breaking change in existing TypeScript/JavaScript code
• This wouldn't change the runtime behavior of existing JavaScript code
• This could be implemented without emitting different JS based on the types of the expressions
• This isn't a runtime feature (e.g. library functionality, non-ECMAScript syntax with JavaScript output, new syntax sugar for JS, etc.)
• This isn't a request to add a new utility type: https://github.com/microsoft/TypeScript/wiki/No-New-Utility-Types
• This feature would agree with the rest of our Design Goals: https://github.com/Microsoft/TypeScript/wiki/TypeScript-Design-Goals

⭐ Suggestion

Adding a readonly modifier keyword to an expression to cast it automatically to its readonly T counterpart using the T type resulting from the expression.

My main fear is that it could be considered an expression-level syntax and consequently rejected. If this syntax is problematic, is there another possible syntax for providing the same behavior? I have considered as readonly auto, but this auto keyword should then be introduced in TS.

📃 Motivating Example

Assigning a mutable object to a const can lead to subtle bugs (or at least, undesired behaviors) if we expect it to not be modified:

const t = [1, 2, 3] as const
const doubles = t.map(x => x * 2)
doubles.push(4) // OK!

The solution could be to write:

const t = [1, 2, 3] as const
const doubles: readonly number[] = t.map(x => x * 2)
// Or: const doubles = t.map(x => x * 2) as readonly number[]
doubles.push(4) // Error!

But it is more verbose than necessary, since the actual T in the readonly T type could be automatically determined based on the expression.

With this proposal, we could just write:

const t = [1, 2, 3] as const
const doubles = readonly t.map(x => x * 2)
doubles.push(4) // Error!

To cast the expression as its readonly equivalent type.

💻 Use Cases

The main goal is to make converting a type to its readonly counterpart easy to write, to make trivial expressing the appropriate type for const-assigned objects to be truly immutable when it is relevant.

The actual solution works, but is too verbose, since it requires to explicitly write the full type of the expression, making it very undesirable to use, and therefore unlikely to be.

Es sind keine Implementierungsdateien, Tests oder Einstiegspunkte angegeben. Beginne mit der Prüfung der vorgeschlagenen readonly-Ausdruckssyntax und ihrer Alternativen und bestimme anschließend, ob die Funktion mit den Designbeschränkungen von TypeScript vereinbar ist; als abgeschlossen gilt die Aufgabe, wenn eine akzeptierte Syntax und ein Implementierungsplan mit den entsprechenden Tests vorliegen.