Вопрос про компиляцию в динамических языках

Без конкретизации компилятора этот разговор будет ни о чем.

Я просто хотел узнать общий принцип, ведь для оптимизатора стоит неразрешимый вопрос, делать ли подстановку или проверять все внутренние выражения и подвыражения. Как это в общем случае разрешается? А конкретные реализации я не знаю, я только начал в тему въезжать.

Может быть компиляция в динамических ЯП приносит вместо ожидаемого ускорения тормоза?

Да, именно поэтому многие [создатели] предпочитают чисто интерпретируемые динамические ЯП

Не лез бы ты вообще в программирование - не твое это. У тебя мозг не работает, какое-то странное нарушение психики, из-за которого у тебя нет шанса вообще понять программирование.

А по сабжу слабо что-то сказать?

Да он, в общем-то, по сабжу и высказался.

Да вроде по сабжу там всё.

Ты идиот? С какого хера среда исполнения будет догадываться о сайд эффектах в long_calculation?

Сабж, по твоему — это мое психическое здоровье? Для того чтобы пытаться острить, надо хотя бы знать язык, на котором пытаешься. А так — жалковато выглядит, примерно как нытье на свою попаболь.

Не в том дело. Дело в том, что long_calculation не нужно вычислять.

см выше

Дело в том, что long_calculation не нужно вычислять.

Еще раз повторюсь, ты идиот. У нас функции в общем случае не чистые.

Ты о чем говоришь? В этом вызове абсолютно ясно, что вычисление не нужно.

В этом вызове абсолютно ясно, что вычисление не нужно.

Это ясно только умственно отсталым.

hint: rename long_calculation to long_calculate_and_print_result.

Понял. Ну так нахрена тогда инерпретируемые языки компилируют? Это тем более странно.

Ну так нахрена тогда инерпретируемые языки компилируют?

Оставлю тебя в тьме неведения. Бу-га-га!

Ради скорости и базовой проверки синтаксиса, не?

Ради скорости

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

базовой проверки синтаксиса

На этапе разработки?

Все равно спасибо. Ты мне предыдущим ответом открыл глаза на суть чистоты, и на то, почему на нее на самом деле(ТМ) так дрочат.:)

Вот скорость то как раз сомнительна

Не придется заново парсить, например, тело функции, которую вызывают >1 раза.

На этапе разработки?

Не понял. Какой ещё «разработки»? Файл, который подаётся интерпретатору, должен быть синтаксически верным.

Ты мне предыдущим ответом открыл глаза на суть чистоты, и на то, почему на нее на самом деле(ТМ) так дрочат.:)

О, нет! Что я наделал! Теперь лор ожидает очередная волна тупых тредов.

должен быть синтаксически верным

Не обязательно. Раскрой в браузере консоль ошибок, там иногда по нескольку тысяч вываливается, и все равно работает. Есть критичные, но такие легко обнаружить.

Не придется заново парсить, например, тело функции, которую вызывают

Не парсить, а вычислять, ты хотел сказать? Это фигня, только для чистых языков такое возможно, я думаю.

Не обязательно. Раскрой в браузере консоль ошибок, там иногда по нескольку тысяч вываливается, и все равно работает. Есть критичные, но такие легко обнаружить.

ОК.

Не парсить, а вычислять, ты хотел сказать?

Нет, именно парсить, т.е. определять, что print("Hello") — это вызов функции print с аргументом "hello", и преобразовывать в какое-то внутреннее представление, чтобы в следующий раз этим не заниматься.

ты прирожденный компутир сцаентист

Да, я ошибся, я понял.

Это частный случай, толку от этого мало.

hello=«Hello»
print(hello) 
hello=«Goodbye»

На v8 смотри, жалкое ничтожество. Он интерпретирует в первый раз, но компилирует то, что выполняется внутри цикла сотни раз.

А насколько надо быть тупым, чтобы писать подобную ахинею

while(condition) 1+1

Почему? Встречая print(hello), интерпретатор понимает, что нужно вызвать функцию print с аргументом-переменной hello. А её значение может меняться со временем.

Почему? Встречая print(hello), интерпретатор понимает, что нужно вызвать функцию print с аргументом-переменной hello. А её значение может меняться со временем.

Вот именно, что он не сможет скомпилировать, так-как не знает в какое значение вычислять хелло

Чего? Запоминает (компилирует?) он не значение, а «вызвать ф-ю print с текущим значением hello». И когда он встречает такую запись, он берёт текущее значение hello и подсовывает в качестве аргумента print.

//Насколько я понимаю.

Вот именно, что он не сможет скомпилировать, так-как не знает в какое значение вычислять хелло

Еще немного и тебе откроется суть интерпретации.

ты прирожденный компутир сцаент

олог.

Стандарт чётко определяет поведение. Сначала будут вычислены все аргументы слева направо, затем буде произведён вызов функции. Любое другое поведение было бы чревато двусмысленностями.

Ну вот, как подсказали выше, если бы функция была чистой, двусмысленности можно было бы избежать.

просто дай ему время, он себя еще покажет

Как же это должно быть хреново быть тобой, с таким поносом вместо мозга.

Вопрос про компиляцию в динамических языках

Какая «компиляция»? В байткод? JIT-компиляция?

Если у тебя

Вычисленя энергичные.

то каким образом ты задаешь такой вопрос:

Будет ли компилятор производить подстановку икса?

Энергичный порядок вычисления потому так и называется, что вычисляет всё, что ему попадается, сразу и до конца, не откладывая на потом. Другое дело, что если у тебя fu(long_calculation1(), long_calculation2(), long_calculation3()), порядок вычисления аргументов может быть не определен. Но раз уж речь идет о сферических языках динамических, зачем всё усложнять.

Но в динамических языках время компиляции и перекомпиляции
перекомпиляции

это что ещё такое, смешались в кучу конелюди...

норм, излишки вытекают на лор