Здравствуйте, WolfHound, Вы писали:

WH>Здравствуйте, Андрей Хропов, Вы писали:

АХ>>Знаешь, с одной стороны да (этот синтаксис Tuples просто жесть по сравнение с Nemerle), с другой стороны в низкоуровневом языке задача которого заменить C/C++ это неплохо.
WH>Системный язык не должен быть низкоуровневым.
Ну хорошо, выражусь по-другому: в системном языке должна быть возможность спуститься на низкий уровень и контролировать каждый бит. Все время это делать не надо, но, скажем, критические части ядра ОС по-другому не напишешь.

WH>Все что нужно это value-типы, поддержка двоичных данных на уровне виртуальной машины и оптимизатор который умеет делать region-inference. Еще нужно иметь несколько различных алгоритмов сборщика мусора в том числе подсчет ссылок и вобще отсутствие сборщика мусора (работает только region-inference).

Не согласен.
Помимо этого должна быть возможность вообще не пользоваться сборщиком мусора,
не должно быть обязательной зависимости от большого рантайма (для встроенных систем и вообще где мало памяти), должен быть встроенный ассемблер (желательно с легко настраиваемым под конкретную архитектуру набором инструкций) и указатели (можно (и даже неплохо) их конечно поместить в отдельный unsafe-загон, как в C#, но они должны быть, хотя бы для того чтобы реализовывать сборщики мусора).
Также должны быть средства жесткого задания бинарного представления в структурах (в D есть шаги в этом направлении).

WH>Короче см singularity там почти оно только CLR на роль виртуальной машины для ОС не очень подходит.
На языке для системного программирования должно быть можно написать ядро ОС.
Ядро в Singularity написано на assembler + C++ + С# (safe и unsafe).
Хотя неверифицируемая часть состоит всего из 5% кода.

Что ж, ждем-с этого счастья.

АХ>> Мне кажется основная проблема D сейчас — довольно медленный GC (ну и библиотек немного, но это уже скорее про инфраструктуру, а не сам язык):
WH>А для D не возможен быстрый GC. Ибо быстрый == точный, а не консервативный как в D.
Как в текущей реализации D.
Да, вот и надо приделать к D точный копирующий GC.

WH>Проблема в том что дизайн D просто не позволяет сделать точный сборщик мусора.
Почему? Надо только разобраться с вопросом можно ли (и как) работать с указателями на GC объекты.
Дизайн D вообще говоря меняется.