https://www.opennet.ru/openforum/vsluhforumID3/79727.html Разработчики проекта PyPy (http://pypy.org/), в рамках которого развивается реализация языка Python со статической типизацией, написанная на языке Python и активно использующая JIT-компиляцию, представили (http://morepypy.blogspot.com/2011/08/visualization-of-jitted-code.html) систему jitviewer (https://bitbucket.org/pypy/jitviewer/). Jitviewer представляет собой инструментарий для визуализации процесса преобразования кода встроенным JIT-компилятором, что дает возможность наглядно разобраться, какой именно Python-код и как компилируется в ассемблерное представление. Для желающих поэкспериментировать с Jitviewer без локальной установки представлена online-демонстрация (http://wyvern.cs.uni-duesseldorf.de:5000/).<br><br><br>Благодаря задействованию JIT-компилятора, на лету транслирующего некоторые элементы в машинный код, минуя фазу интерпретации байткода в виртуальной машине, PyPy при выполнении некоторых операций в несколько раз обгоняет по производительности классическую реализацию CPython: ...<br><br>URL: http://morepyp https://www.opennet.ru/openforum/vsluhforumID3/79727.html#39 Thu, 18 Aug 2011 16:40:36 GMT А куда она делась? Она же внизу лежит, в интерпретаторе самого pypy...<br> https://www.opennet.ru/openforum/vsluhforumID3/79727.html#37 Thu, 18 Aug 2011 16:34:39 GMT Про джаву и Си:<br>Да спокойно: например, можно решать задачу "циклически ничего не делать в течении секунды". Тут джава справится за куда меньшее количество операций, нежели Си.<br> https://www.opennet.ru/openforum/vsluhforumID3/79727.html#36 Mon, 15 Aug 2011 21:26:36 GMT &gt; попробую поставить вопрос иначе. Где там статическая типизация?<br><br>В диалекте RPython.<br> https://www.opennet.ru/openforum/vsluhforumID3/79727.html#35 Mon, 15 Aug 2011 21:24:44 GMT В интернациональном комьюнити все бы давно сошлись во мнении, что авторы продемонстрировали интересный принцип и не более (во всяком случае пока). В русскоязычном - опять холисрач вокруг всем очевидных вещей, с возведением частного в общее и последующими проекциями на авторов PyPy.<br> https://www.opennet.ru/openforum/vsluhforumID3/79727.html#33 Mon, 15 Aug 2011 18:55:14 GMT &gt; В PyPy используется диалект RPython (Restricted Python), который поддерживает только статические типы<br><br>понимаешь ли.. это не статическая типизация, а оптимизация для JITа.<br> https://www.opennet.ru/openforum/vsluhforumID3/79727.html#32 Mon, 15 Aug 2011 18:29:00 GMT Так же, как компилируют полиморфизм в плюсах и прочих языках, где оный используется, когда статической типизации не хватает, а признаться в этом стыдно.<br> https://www.opennet.ru/openforum/vsluhforumID3/79727.html#31 Mon, 15 Aug 2011 18:15:40 GMT &gt; Впрочем, динамическую тоже вроде бы никто не выбрасывал.<br><br>В новости все верно написано. Как вы собрались динамическую типизацию компилировать в JIT-е ? <br> https://www.opennet.ru/openforum/vsluhforumID3/79727.html#30 Mon, 15 Aug 2011 18:14:08 GMT &gt; попробую поставить вопрос иначе. Где там статическая типизация?<br><br>В PyPy используется диалект RPython (Restricted Python), который поддерживает только статические типы и не допускает менять тип уже определенной переменной.<br><br>http://codespeak.net/pypy/dist/pypy/doc/coding-guide.html#our-runtime-interpreter-is-rpython<br><br>"Unlike standard Python, RPython is statically typed, to allow efficient compilation"<br> https://www.opennet.ru/openforum/vsluhforumID3/79727.html#29 Mon, 15 Aug 2011 18:06:50 GMT А чего в этом плохого? Лучше быстрее, чем медленнее. Хотя, конечно, это моё субьективное мнение. Мало ли, вдруг за последние годы ценности изменились, и высокая скорость считается пороком.<br>