- Кого это там пиздят в углу? - А... Это Солодов - за качество отвечат...

Если есть верхняя граница - то это уже жесткий риалтайм. И поддержка от ОС нужна соответствующая.

Да проверять никто и не призывает - железо легко доказывается формально. Это гораздо проще, чем с программами - ведь железка может всегда быть представлена в виде автомата (state machine), а для доказательства соответствия автомата спецификации мат.аппарат уже давном давны разработан.

Если под тестированием понимать всякие unit test-ы (в том же экстриме) - то таких фреймворков - ДО ЖОПЫ. Точно так же, полно языков, которые поддерживают design by contract.

Хм... Если problem solution - occasional use - то только это, грузчиком... Ну или кассиром на крайняк - те для решения проблем всегда манагера зовут...

Не однозначно. Если формУлку потом в какую CAS загнать захочется? Нет уж - OpenMath рулит...

Во-во... Сейчас всякая ембеддщина (по крайней мере, если судить по рынку IT в Англии) - составляет большую часть всех разработок. Да, кое-где в ембеддщине и J2ME водится, но это - мизер. А так - до сих пор - Форт, ассемблер, немножко Си, и всё - на 8 или 16-битных платформах.

Не канает. Можно мозги вывернуть так, что потом не завернутся обратно. Мне оч-чень много лет потребовалось, чтоб от Фортрана отмыться. :(

Учи один - Лисп. Он и императивный, и функциональный, и ОО, и какой захочешь ещё. А уж после Лиспа - любой другой, к примеру, хорошее продолжение такой пьянки будет - поллитра Питона, пару стопарей C++, стакан-другой Tcl, ну и закусить кусочком холодной Жабы. Если захочется догнаться - то сгонять в ночной магазин за баклажкой Mercury, разбодяжить всё Smalltalk-ом.

Три варианта: 1) менять универ 2) послать препа на хуй, и объяснить ему про то, что воровать не хорошо, и ещё хуже заставлять студентов воровать 3) использовать fpc.

KAK HET?!?

Как это не читалка? Закладки - умеет, outline - умеет, чего ещё надо?

emacs

А обосновать слабО - что убожество?

Человеческий фактор нивелируется биореактором.

Эй, какая такая штаты? Индийские? Я говорю про оффшоры в Индии и Пакистане - оттуда весь самый убогий и самый дешевый код идёт. О выходцах речи нет. Я таких немало знаю - умные, грамотные, сознательные товарищи. Но их - ничтожно малое количество, в сравнении с миллионами, оффшорящими из Индии.

Связка MathML + OpenMath - отображение и семантика соответственно. Если только отображение - тогда лучше TeX.

Совсем глупый? Их место - крайне незавидное. Они горбатятся за очень жалкие копеечки (чем, собственно, и победили). Штрейкбрехеры хреновы... Надо просто убедить именно потребителя, что лучше ДОРОЖЕ И КАЧЕСТВЕННЕЕ, чем дешевое массовое говно. Создать конкуренцию - сейчас ведь практически отсутствует такая категория софта, как дорогие профессиональные решения. Или совсем-совсем high end, или попс - без серединки.

Приличные - повыезжали все за пределы Индии. Так что - нунах.

Фигнаны. Инженера из меня не вышло бы :(

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

Любая позиция project leader-а или architect-а. Тогда - ты будешь решать, на каком языке писать, а не какая-либо убогая и тупая манагерящая тварь.

Как раз академики Лисп не любят за его убогую систему типов, они то всё больше по Хаскеллю да ML-у убиваются. А Лисп любят прикладники, потому как это единственный язык, который является НАСТОЯЩИМ RAD-ом, то есть, позволяет на самом деле очень быстро лепить прототипы - потому как Лисп - это метаязык, и основная технология программирования на нём - это метапрограммирование. Те, кто зовут Лисп функциональным, или объектно-ориентированным, или императивным, или даже мультипарадигмным языком - заблуждаются. Лисп - это метаязык, и в этом его сила.

Вам, недоноскам, надо сделать только одно, но очень важное дело - СДОХНУТЬ.

анонимус, ты дурак, да? ClTl2 видел?