protocol-specs

OpenAPI 給你字母表，Session Types 要的是文法

OpenAPI 規格描述了請求與回應的 schema，但沒有規定合法的訊息順序。以下是能從中萃取什麼，以及哪些地方仍然需要手動補齊。

OpenAPI 規格會告訴你合法的請求長什麼樣子，以及合法的回應長什麼樣子。它不會告訴你，在呼叫 之前是否允許先呼叫 ，或者在你呼叫 之後再呼叫 會發生什麼事。這些資訊存在於protocol規格中，而 OpenAPI 並不是protocol規格。 這就是落差所在。你可以從 OpenAPI…