protocol-specs

OpenAPIは文字を与える。Session Typesが必要とするのは文法だ。

OpenAPIの仕様はリクエストとレスポンスのスキーマを記述するが、有効なメッセージの順序までは規定しない。ここでは、どこまで自動抽出できるか、そしてどこに手作業で補う必要があるかを説明する。