naryl wrote:
> C>Минус стоит правильно — в D сейчас возможно использовать только
> C>консервативный GC, сама семантика языка (юнионы, например) не позволяет
> C>использовать точный GC.
> Почему это консервативный GC = плохой GC?
По определению. Для него недоступно огромное количество оптимизаций.

> На самом деле, семантика разрабатывалась с учетом возможности написания
> максимально точных сборщиков мусора при поддержке всех типов C.
> Копирующий/уплотняющий сборщик мусора для D написать можно.
Нельзя. Некоторые вещи (типа union'ов) не позволяют точно сказать,
является ли число 0x23410921 в поле структуры указателем или просто
таким странным int'ом.

> Есть добровольцы? =)
Я как-то думал заняться (года три назад), но сейчас точно займусь
чем-либо более интересным.