schemeで、「場所」や「スレッド」という概念をfirst-classの値として
扱うことで、すっきりとしたモバイル計算が考えられそう、
ってたった今夢想してしまった。とっくに研究されているのだろうか?