the merit of strictly typed JSON

The programming language of the web is JavaScript (JS), but the lack of static types is the biggest pain point highlighted in the 2023 State of JS survey. We rely on TypeScript (TS) to achieve strong structural type analysis of our code, as noted in our standardization article. Static types help prevent runtime errors on our users' machines. However, to ensure we never throw a TypeError, we must avoid the loose type `any`, which is an escape route designed to bypass TS's static analysis.

JavaScript Object Notation (JSON) is widely used as a data interchange format for REST APIs. Its ...