OpenAPI 给了你词汇表，Session Types 需要的是语法
OpenAPI 规范描述了请求和响应的 schema，但并未规定合法的消息序列。本文介绍你能从中提取什么，以及哪些地方仍需手动补全。
OpenAPI 规范告诉你合法的请求长什么样，合法的响应又长什么样。但它不会告诉你，在调用 之前能否调用 ；也不会告诉你，在调用 之后再调用 会发生什么。这些信息存在于 protocol spec 中，而 OpenAPI 并不是 protocol spec。 这就是缺口所在。你可以从 OpenAPI…