> -- Comdiv писал(а):
> А где я здесь писал про уникальные преимущества Оберона?
Возможно, не вы, возможно, не здесь, но в целом я услышал нечто типа: "отладчик в Обероне не нужен, т.к. Оберон - другой язык". В т.ч., из-за программирования под доказательство.

Так вот, я перебрал всё, что мне предлагали как основание ненужности отладчика, кроме п-п-д, и не нашёл ничего уникального. Не увидел, как из указанных особенностей оберона следует вредность или ненужность отладчика, который есть в других аналогичных языках и применяется с пользой. П-п-д осталось моей последней надеждой, но оказывается, что инструментов для п-п-д для Оберона нет, уникальной для Оберона эта возможность не является, в крупных проектах П-п-д не опробовано, выводы из опробования не сделаны, в школе ему явно не учат. Микроядро - оно на то и микро, килобайта на 4, наверное. Недостаточно репрезентативно. А значит, отказаться от отладчика предлагается авансом, в надежде на то, что п-п-д подвезут в светлом будущем и оно заработает. Извините, я это не куплю.