TheVoid > есть интересные идеи по новому очищенному диалекту Си. Вот некоторые из них:
 - точные типы данных (соответственно поддержка только стандартных архитектур);
 - модульная структура, соответственно отказ от include (чтобы не париться с include guard, не пересканировать тонны заголовков для каждого исходника);
 - сложный (возможно lisp-подобный) препроцессор (но как органичная часть языка), позволяющий вызывать собственные функции (написанные на этом же языке) во время компиляции;
 - пресловутый контроль на выход за пределы массива (возможно, с возможностью отказа от него для финальной сборки);
 - некоторые дополнительные возможности (включая, инициализация массивов переменной длины (чего нету в в старом распространённом Си-стандарте), анонимная инициализация массивов и структур, ...);

Самому нет времени этим заниматься (я болею не компиляторами, а распределёнными средами / ОС), но с удовольствием бы принял участие в обсуждении. Пока вынужден работать с Си, за неимением лучшей альтернативы... вот высказываю пожелания... 

Короче, если тебя это заинтересует - пиши в личку или на мыло. В любом случае, желаю тебе удачи в твоих благих начинаниях.

Чем отличается от Java или C#?

Это сообщение отредактировал(а) beroal - 15.7.2009, 23:19

разработка уже свернулась?

Нет. В последнее время я был занят другими вещами (игрушку делал, давненько хотелось). В ближайшее время планирую вернуться.

интересно будет посмотреть как ты хотя бы препроцессор реализуешь.

А вы разрабатывали грамматики для С компилятора? Не в курсе где можно их посмотреть.   

а лучше С++

Это сообщение отредактировал(а) Killerman - 28.8.2009, 18:46

а по его исходникам не видно?
если невидно тогда - нет.

почему, всех так тянет писать именно компиляторы, что в этом интересного? лучше-бы вы написали интерпретатор языка С++, что-бы можно было использовать REPL(Read Eval Print Loop) во время написания кода  

интересно чем это лучше?

вам мало уже существующих компиляторов?
интерпретатор сильно упростил-бы мне жизнь, я готов мириться с медленной работой кода(во время отладки), но зато иметь возможность быстро что-нибудь изменить и сразу запустить программу, или менять код во время отладки
а еще, неплохо было-бы иметь отладчик времени компиляции, к примеру, для того, что-бы иметь возможность проверить, значение какого типа будет возвращать эта ф-я:
в том или ином месте

ну а потом можно собрать релиз версию нормальным компилятором  
вообще, такой интерпретатор уже существует(правда не помню, как он называется), но там очень плохая поддержка стандарта

для этого есть typeid

ну вообще-то, typeid немного для другого... во всяком случае уж точно не для того, что-бы отлаживать вывод типов в шаблонах  

Вобщето меня интересовали грамматики а не сам компилятор, так как мне интересна организация отношений между элементами грамматик, чтобы вытащить оттуда чтото полезное для своих разработок.

А компилятор С++ я создавать не собираюсь, во всяком случае не для перевода на ассемблер и интерпритатор тоже, ну точно не для С++.

Добавлено через 5 минут и 36 секунд
2 DEADHUNT
И вообще не понимаю, как можно на основании исходников компилятора увидить его грамматику. Если его синтаксический анализатор строиться и работает на основе сгенерированных таблиц, помтроенных из грамматик генератором компиляторов. А из этих таблиц грамматику вытащить нереально.   

различают типы разборов(основные):
    рекурсивный спуск или детерминированный алгоритм низходящего разбора (как в данном случае),
    детерминированный алгоритм восходящего разбора,
    LL(k) анализатор,
    LR(k), LALR(k) анализаторы(можно сгенерировать с помощью lex + yacc).
только последние два используют "управляющие таблицы" которые создаются на основе грамматики.
     

Это сообщение отредактировал(а) DEADHUNT - 9.9.2009, 15:05

ну для С++ нужны 2-ва последних.