Oberon space

Нет, я что-то не совсем понимаю зачем это самое целочисленное значение ассерту скармливать. Вот смотрите: сработал ASSERT, отлично. Благодаря наличию метаинформации мы точно знаем CallStack с названиями функции, мы знаем версии всех модулей, знаем структуру функции где оно сработало. В конце концов ничто не мешает также знать и вид логического условия сработавшего ассерта. Всё это мы знаем без наличия исходников.

Если ASSERT сработал на машине пользователя, то среда должна сформировать слепок состояния программы, дамп памяти, в виде пригодном для последующего анализа. Например в виде составного документа. Этот слепок отправляется к разработчику, где он уже спокойно разбирает что там случилось. Благодаря метаинформации (см. выше) он точно будет знать какая версия чего там была установлена. Он будет знать состояние стэка вызовов и т.п. Зачем тут какое-то магическое число?

Если у нас метаинформации нет (скажем у нас не КП а Оберон, а там метаинформации ровно столько же сколько в С++ скажем), то тогда да, ASSERT должен быть поумнее. Но в этом случае опять таки не нужно число. Нужно банально печатать (если у нас нет данных о стэке вызовов): файл, строку, содержимое строки этого самого  ASSERT'a (это будет нечто вроде ASSERT(a#b) ). На этапе исполнения накладных расходов тут будет ровно нуль.

А зачем нам это сообщение, пусть и в виде строки, если благодаря наличию метаинформации нам среда и так выдаст подробнейший отчет что где и как произошло?

Гм. У меня, и в маке и в линуксе, размер шрифта получается одинаковый.

А эксперименты с указанием cpp/java -- это я проверял работает ли подсветка синтаксиса. Не работает. Надо разбираться.

#include <iostream>

int main() {
    std::cout << "hello world" << std::endl;
    return 0;
}

System.out.println("this is java!");

Ну, я не сказал бы что мне прямо очень нравится абсолютно всё в синюшных тонах, но да, дизайн вполне аккуратный.

Из мелочей -- по моему, шрифт в цитатах и блоках кода мелковат. Или нормально? Могу увеличить. Вообще давайте сюда пожелания по внешнему виду форума.

PS. Вот думаю, может для кода подсветку синтаксиса прикрутить? :-) Это вполне возможно.

Ну, free легко превращается в не free :-) А php оно и в африке php, т.е. форумы на нем обычно более-менее нормально работают. Если их сильно не пинать :-)

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

Цитата: valexey от Февраль 17, 2011, 02:12:42 pm

Собственно я говорил именно об этом. Именно эти числа, о которых вы говорите есть сразу в Haskell и Erlang'e. Функция подсчета факториала от 5ти будет одинаково использоваться и для подсчета от 10000. В первом случае будет использован int32, во втором случае, начиная с некоторого шага, будет использовано длинное целое (переменной длины). При этом тип останется тот же -- Integer.

Мы в семантическом редакторе реализуем учебный язык без привязки к размерам встроенных типов. Я поначалу хотел даже отказаться от деления на целые и дробные, и оставить один тип Число. Но мне показалось, что это слишком радикально - все же во всех языках числа не менее двух типов.   

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

Да, цитата + ссылка на оригинал -- это распространенная практика. И это правильно.