compile-time

セッション型がデッドロックをコンパイルエラーに変える方法

セッション型は通信プロトコルを型システムにエンコードし、コードが実行される前にメッセージパッシングの不一致をコンパイルエラーに変える。