Set-theoretic types across process boundaries?

I’d like to know what possibilities (and difficulties) there may be for using set-theoretic types across process boundaries. That is, could we ensure that the things passed in messages meet some sort of contract?


1 Like

I know it’s not on the immediate road map, but you could read the paper, which might hold the answer.

Finally, it is important to note there are areas we don’t plan to tackle at the moment, such as typing of messages between processes.