Hacker News Reader

You can do it with template string types: https://ybogomolov.me/type-level-uuid

The built in DOM types for the browser's `crypto.randomUUID` function actually already use this technique to a lesser extent: https://github.com/microsoft/TypeScript/blob/121c5dd36bd87e4...

You can get by, e.g. you can use JSDoc comments describing format or pattern, generic types taking a parameter of either format or pattern along with a base type, or create a custom well-known type you define as having the properties of a UUID. But aside from comments, this is not reflected well in the tooling, and none of these options compose particularly well.

See n2d4's comment but also AJV's JSONSchemaType

import { JSONSchemaType } from 'ajv'

It will bridge the JSON Schema and TypeScript types

We've found this useful too:

import { OpenAPIV3_1 as oa } from 'openapi-types'

export type Schema<T> = JSONSchemaType<T> & oa.SchemaObject

We validate that the type aligns with the schema and load the schema to validate all incoming requests