JAPANESE
セッション型
せっしょんがた
KOREAN
세션 타입
[セション タイプ]
ハングル読み: 셋숀가타
解説
通信プロトコルの手順を型で表現し、送受信の順序や型の整合性をコンパイル時に検証する仕組み。チャネル通信の安全性を型レベルで保証し、プロトコル違反を静的に検出する。
통신 프로토콜의 절차를 타입으로 표현하여 송수신 순서나 타입 정합성을 컴파일 시에 검증하는 구조이다. 채널 통신의 안전성을 타입 수준에서 보장하고 프로토콜 위반을 정적으로 감지한다.
例文
セッション型でクライアント・サーバー間の通信プロトコルを定義し、メッセージ順序の誤りをコンパイル時に防止した。
세션 타입으로 클라이언트·서버 간 통신 프로토콜을 정의하여 메시지 순서 오류를 컴파일 시에 방지했다.