OpenAPI 給你字母表，Session Types 要的是文法
OpenAPI 規格描述了請求與回應的 schema，但沒有規定合法的訊息順序。以下是能從中萃取什麼，以及哪些地方仍然需要手動補齊。
OpenAPI 規格會告訴你合法的請求長什麼樣子，以及合法的回應長什麼樣子。它不會告訴你，在呼叫 之前是否允許先呼叫 ，或者在你呼叫 之後再呼叫 會發生什麼事。這些資訊存在於protocol規格中，而 OpenAPI 並不是protocol規格。 這就是落差所在。你可以從 OpenAPI…
2 posts
OpenAPI 規格描述了請求與回應的 schema，但沒有規定合法的訊息順序。以下是能從中萃取什麼，以及哪些地方仍然需要手動補齊。
OpenAPI 規格會告訴你合法的請求長什麼樣子，以及合法的回應長什麼樣子。它不會告訴你，在呼叫 之前是否允許先呼叫 ，或者在你呼叫 之後再呼叫 會發生什麼事。這些資訊存在於protocol規格中，而 OpenAPI 並不是protocol規格。 這就是落差所在。你可以從 OpenAPI…
超時或當機不代表你的 API 請求遺失了。以下是 idempotency keys 如何讓重試變得安全，以及真正能防止重複的儲存模式。
你的服務在處理 請求到一半時當機了。客戶端看到超時並重試。現在你有兩筆扣款。客戶很生氣。資料庫是一致的。你的商業邏輯不是。 這不是邊緣案例。這是分散式系統的預設行為。網路會丟封包。container 會在請求處理到一半時被 OOM-killed。負載平衡器會對已經抵達後端的請求回傳 502。如果你的 API…