Курилка wrote:
>> > Просто не совсем понятно, как ты эрланговскую семантику "натянешь" на
>> > модель CLI.
> C>Просто
> Да? Интересно было бы посмотреть
Если кратко — то в каждый объект добавляется флажок "immutable", после
того, как этот флажок выставлен попытки записать в объект будут вызывать
exception (в релизе можно будет отключить эту проверку).

Естественно, immutable-объект может указывать только на immutable-объекты.

> C>Так пусть себе мутируют — для посылки сообщений между потоками можно
> C>будет использовать только гарантировано иммутабельные объекты или
> C>использовать глубокое копирование. А внутри потоков может быть что угодно.
> Ну если забить на софтриалтайм, то да, но тогда на программисте будет
> лежать груз ответственности, что его бесконечный цикл не сьест всё время
> процессорное у ВМ.
Естественно, будут легкие потоки. Да и обычный scheduling потоков никто
не отменял.

> Или же будет какое-нибудь комбинирование лёгких и
> обычных потоков типа того, что в Scala.Actors возможно?
Думаю пока. Легкие потоки кто-то уже реализовывал на LLVM, да и не
сильно это сложно.

> А проект на Немерле — секрет? Просто если Open Source, то возможно было
> бы интересно поучаствовать.
Проект на С++, так как сама LLVM на С++. Будет OpenSource, начнется пока
ориентировочно 1 мая (я скоро улетаю в командировку, а без моего
личного присутствия начинать не хочется).