OpenAPI даёт алфавит. Session types — это грамматика.
Спецификации OpenAPI описывают схемы запросов и ответов, но не задают допустимые последовательности сообщений. Вот как извлечь то, что можно, и где всё ещё нужно заполнять пробелы.
Спецификации OpenAPI говорят, как выглядит корректный запрос и как выглядит корректный ответ. Они не говорят, можно ли вызывать до , или что произойдёт, если…