OpenAPI te da el alfabeto. Los session types necesitan la gramática.
Las especificaciones OpenAPI describen los esquemas de petición y respuesta, pero no especifican las secuencias de mensajes válidas. Así es como extraer lo que puedes y dónde aún necesitas llenar los vacíos.
Las especificaciones OpenAPI te dicen cómo se ve una petición válida y cómo se ve una respuesta válida. No te dicen si puedes llamar a antes de , o qué ocurre…