セッション型のような型は，関数型言語の型システムでは作れないのが普通だ．しかしながらセッション型の機能の一部を関数型言語で実現しようとする試みはいくつか存在する． つい最近では， Kiselyov, Peyton Jones, Shanの Fun with type functions のよう…

セッション型は プロトコルを表現する型で， 15年くらい前から π計算の型理論の1つとして研究されてきました(文献リスト(一部))．並行・分散ソフトウェアの普及を鑑みるに，セッション型のような仕組みは次世代の型安全かつ表現力の高いプログラミングのため…