> -- Цитата:
> Но вот как на уровне гипотетического синтаксиса избавиться от понятия маршаллинга и цикла выборки сообщений - я сейчас не очень представляю.
Маршаллинг - всего лишь межпроцессный вызов процедур, который может быть и синхронный (напрмер между компьютерами в сети). А вот цикл выбора сообщений - конкретная рализация механизма передачи сообщений (в частности с использованием механизма маршаллинга). И сиснтаксис может "изолировать" пользователя от самого этого цикла. Самый простой пример - message методы в дельфе.  Более сложный: механизм Channels в исследовательской разработке Microsoft - OS Singularity (где для обеспечения устойчивости как раз и запрещается обмениваться указателями между потоками). Нечто идеологически "похожее" реализованно в Zonnon, правда без изоляции по памяти. Но на мой взгляд все это "несколько" сложновато.