Суперкомпиляция. Почему не взлетела?

потому что все знают на чём писать, все знают что писать, но никто не знает КАК писать.

Возьми и попробуй.

PS: а какой у тебя раньше ник был?

но никто не знает КАК писать

А какая пролблема, в том чтобы узнать, как писать?

А какая пролблема, в том чтобы узнать, как писать?

пиши так: 42

Короче, ты не в теме, просто демагогию разводишь?

Почему не взлетела? V8, PyPy, даже в некоторой степени HotSpot.

А я читал, что Турчин по Жабе работал:)

не, всё хуже. Ситуация действительно 42 (lurkmore.to): суперкомпиляция есть, она даже «работает», но какой в ней смысл, и на кой ляд она нужна — никто не понимает.

Ну, я так понимаю, основная цель — оптимизация по специализатору? Не? Что-то вроде частичных вычислений?

Ну, я так понимаю, основная цель — оптимизация по специализатору? Не? Что-то вроде частичных вычислений?

это мелочь ИМХО.

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

В большинстве случаев достаточно даже интерпретации.

Тогда почему же сейчас такое тотальное дрочево на компиляцию? Из интерпретируемых ЯП (более-менее мейнстримных) только тикль остался, да и то в последней версии какой-то недокомпилятор, ЕМНИП, встроили.

потому что суперкриворукиё

верно товарищи, компиляция для стеснительных быдлокодеров! Вовзращаемся к интерпретации, встраиваем движок оной в хтмл5 и жс. Долой сайты на IIS и пхп!

Потому что нет суперкомпилятора?

Тут даже LTO не могут нормально сделать уже который год.

А какая пролблема, в том чтобы узнать, как писать?

А какая проблема сделать ИИ, если мы знаем, как мы думаем? Или нам только кажется, что мы знаем?

если мы знаем, как мы думаем

Я как раз думал, что мы не знаем как думаем. ИМХО, тому кому кажется, что он знает как думает, место в спецучреждении.

Нейробиологи так не считают.

место в спецучреждении.

Так перестаньте уже народ рассаживать по спецучреждениям. Глядишь и суперкомпиляция получится.

и жс

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

Я как-то читал Минского, он крайне скептически относится к вкладу нейробиологов к изучению вопросов мозга, и, осоебнно мышления. Фактически нулевой, по-просту говоря. Не тем путем идут ребята.

Она взлетела. Просто редко нужна.

да я вообще от балды написал

встраиваем движок оной

И не совсем понятно, как Вы собрались встраивать «движок языка» в язык.

да, и ещё сильнее я удивлён, а каким же образом встраивают языки в сайты!

а каким же образом встраивают языки в сайты

Ну, и как же эту магию делают, LOL

Я что то не пойму, вы троллите? По вашему первому сообщению не похоже. Сайты пишуться на языках, или о чем вы вообще?

Потому-что sse2!

Да-да, даже не изучили работу нейронов и не научились строить нейронные сети.

Нейробиологи так не считают.

Потому что они давно в спец учреждении. Делят с Наполеоном палату номер 6.

Потому что никому не уперлась, процессоры быстрее взлетают.

Примеры можно, если есть?

gcc пойдёт?

хотя тут смотря что ты называешь «суперкомпиляцией»?

Троллит. Даже не сомневайся.

Примеры можно, если есть?

PyPy

PyPy

Ты отдаленно даже не понимаешь, что такое суперкомпиляция, если в пример приводишь ЭТО

интерпретируемых ЯП

Прекрати мешать в кучу ЯП и детали реализации.

В ранних версиях это и была чистая суперкомпиляция. Потом они забросили эту каку.

И где ты в gcc нашел суперкомпиляцию? Partial specialisation и inlining это еще не суперкомпиляция.

мешать в кучу ЯП и детали реализации.

А семантика ЯП зависит от реализации. Не случайно в scheme запрещен нормальный eval и first-class-environments. Можно написать интерпретатор для всякого компилируемого ЯП но не наоборот. Поэтому, введение промежуточной компиляции, оптимизации, etc, не может не повлиять на семантику.

Дай определение «интерпретируемому языку» в смысле «нельзя написать компилятор».

Вангую, что сфейлишь и опишешь «динамический язык» (которые иногда компилируются).

Разреши динамический биндинг, доступ к тексту исходника как к данным для программы, и ты получишь фейл. Такой ЯП будет лишен инвариантов. Убери еще константные значения до кучи, когда у тебя в произвольном выражении символ 1 может означать «foo».

А семантика ЯП зависит от реализации

вот это новость.

Можно написать интерпретатор для всякого компилируемого ЯП но не наоборот

с чего вдруг не наоборот?

С того, что не сможешь.

С того, что не сможешь.

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

Ты отдаленно даже не понимаешь, что такое суперкомпиляция, если в пример приводишь ЭТО

В смы-ы-ы-ысле? bin/rpython же занимается тем, что интерпретатор WHATEVER на языке RPython преобразует в jit-компилятор WHATEVER. Что это, если не третья проекция Футамуры?

а что такое «суперкомпиляция»?

Это то же самое, что и третья проекция Футамуры, только незивисимо открытая В. Турчиным.

Это то же самое, что и третья проекция Футамуры, только незивисимо открытая В. Турчиным.

в том виде, как у Турчинова, суперкомпиляция невозможна и вообще ненужная химера.

Она в Refal5 отлично работает. У тебя серьезные проблемы с восприятием реальности.

Только вот сам рефал5 не очень работает :)