初回に， Sessionモナドは indexed monad だと説明しましたが具体的にどういう制約が入っているのかをちゃんと説明しませんでした． すべてを一度に説明するのは難しいのですが，とりあえずおおざっぱに説明を試みます 事前条件・事後条件 と プロトコルの差…

セッション型の読み方について説明します． セッション型の種類 私のfull-sessionsにおけるセッション型を次のTable 2に示す： セッション型は論文によって表記法が著しく異なるが，多かれ少なかれだいたいここで示した機能(と再帰)がすべてである． Send / …