Freeman писал(а):
Речь про императивные языки?
Естественно. Правда среди них тоже есть весьма "неудобные" языки, например, Forth, но я говорю, что если их исключить, то вся основная группа языков внутри себя ничего нового не представляет и очень эффективно компилируется в машинный код традиционных ISA. Разница между ними почти исключительно в представлении этого единого семантического ядра для человека.
grindars писал(а):
У LLVM есть bitcode, бинарное представление ее промежуточного языка.
Прошу прощения за непоследовательное цитирование...
Я, честно говоря, первый раз слышу про двоичное представление. Не нашёл такой инфы ни в вики, ни на оф-сайте... можно конкретную ссылку?
Freeman писал(а):
Ну, общая машина для императивных языков уже есть -- как раз LLVM.
Так я же и говорю - она хороша, даже очень. Но её недостаток в том, что она текстовая.
Freeman писал(а):
Тягаться с Университетом Иллинойса? Чисто для развлечения, в качестве "лабораторной работы"? Нет, я допускаю, конечно, что безвестный русский программист может найти серьезные изьяны в концепциях американского университета, и не сомневаюсь, что сможет реализовать задуманное в коде.
И чего теперь, трястись от преклонения перед Университетом Иллинойса? Я могу сказать, что с такой жизненной установкой ничего нового не сделать. А между тем, жизненная практика показывает, что в основном проекты толкаются одиночками-лидерами, в крайнем случае, двое-трое друзей, вокруг идей которых собираются впоследствии группы. Таких исторических примеров масса - Кен Томпсон, Деннис Ритчи и Дуглас Макилрой, Стив Джобс и Стив Уозняк, Билл Гейтс и Пол Аллен, Братья Джон и Адриан Кармак, одиночка Бьёрн Страуструп, одиночка Линус Торвальдс, да блин, можно долго перечислять. Это конечно не означает, что любой че-к вдруг сразу может стать Биллом Гейтсом, но всё же, эти одиночки откуда-то берутся и считать, что персонально ты ничего нового предложить не можешь – подход, а-приори ведущий к провалу затеи. Вообще я тоже участвовал в университетских проектах и отлично знаю, что никакой фантастики за ними не скрывается, – обычные студики и аспиранты под руководством фанатиков-преподавателей и доцентов
.
Freeman писал(а):
Но такой специалист не будет задавать вопросы на форуме.
А где же они тогда общаются? В скайпе? Или вообще ни с кем не общаются?