Vlákno názorů k článku Rychlost CPythonu 3.11 a 3.12 v po­rovnání s JIT a AOT překladači od tvrdeY - Jedna dalsi vec co mi nebyla uplne jasna...

Jedna dalsi vec co mi nebyla uplne jasna je "zda se provedl optimalni preklad". Nejsem si uplne jisty, co to znamena v kontextu jit. Je to neco "trivialniho" jako ze zadna promenna nemusi byt C-style PyObject? Nebo neco jineho?

Kterou kapitolu/odstavec myslíte?

Konkretne jsem myslel kapitolu 7. Priijde hodne vagne/abstraktne napsane :). Ale neni to stiznost, dokazu si domyslet, ze s typovou informaci dokaze optimalizovat lepe.
Jinak, kdyz uz odpovidam, v jednom pripade se Vam to _5 prepsalo jako spodni index:
"O tom, že výše uvedený příkaz nebude importovat soubor mandelbrot_5.py, ale nativní sdílenou knihovnu, se můžeme přesvědčit například použitím nástroje strace:"

Aha díky. K tomu se ještě vrátím, protože to je na mypyc asi to nejdůležitější (a asi není náhodou, že je to součást mypy). Protože například taková funkce add(x,y) - o té může překladač v AOT říci jen to, že akceptuje dvě hodnoty typu PyObject a volá se tam metoda __add__ prvního předaného objektu. Tj. všechny ty kontroly typů, unboxing atd. se budou provádět v runtime - s tím mypyc nedokáže nic udělat.

Až u funkce add(x : int, y: int) může překladač vygenerovat int add(int x, int y) nebo si před to klidně dát i inline, pokud je to hodně krátký kód.

Fakt se k tomu vrátím, to je možná téma na celý článek :-)

K tomu indexu - s tím bohužel vůbec nic nedokážu udělat. Je to vlastně docela schizofrenní situace, protože text mám psaný v HTML, takže by ho redakční systém měl vzít tak jak je ("raw input"). Ale on do něj z neznámého důvodu hrabe a mění _x na dolní index. Dělá ještě nějaké další transformace, ale na ty jsem si za ta léta zvyknul a uhýbám mu z cesty :-) (třeba vyžaduje značky [b] a [em] a ne [strong] a [i], což je opět schizofrenní mix) ale zrovna ty indexy se tam objevují.