Type inference из OpenAPI | Мой цифровой сад
← На главную

Type inference из OpenAPI

исполнитель знает OpenAPI, поэтому результаты запросов типизированы — IDE понимает $.id и подсвечивает ошибкой несуществующие пути

Type inference из OpenAPI

Исполнитель знает OpenAPI, а значит — знает типы результатов запросов. Если Users : User[], то $ имеет тип User.

IDE валидирует пути

Понятные пути подсвечиваются корректно, а несуществующие — ошибкой:

Тип можно объявить прямо в заголовке блока:

### Users : User[]
GET /users

  ### Orders : Order[]
  GET /orders/{{ $item.id }}

Теперь IDE знает: $ — это User, а вложенный узел работает с Order.

Появляется полноценный type inference: зависимости между узлами типизированы, и ошибки в путях ловятся на этапе написания, а не исполнения.

Источники

Связанные заметки

Evolution