セッション型を備えた 「型付きErlang」みたいなのがあればいいのになあ、と思うんですが(ある？)、一から型推論やら多相性やらを作り上げるのは面倒でしょうしHaskellやMLよりも便利で安全な型システムなんてあろうはずもないので(ぉぃ)、私たちはHaskellで…