<div dir="ltr"><div class="gmail_extra"><br>Il giorno 18 luglio 2014 10:03, Carlo Miron <span dir="ltr"><<a href="mailto:carlo@miron.it" target="_blank">carlo@miron.it</a>></span> ha scritto:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
Python 3?</blockquote><div><br></div><div>Solitamente uso la 2.7 portable.</div><div> </div><div class="gmail_quote">Il giorno 18 luglio 2014 10:34, Dario Bertini <span dir="ltr"><<a href="mailto:berdario@gmail.com" target="_blank">berdario@gmail.com</a>></span> ha scritto:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">premesso che non sono sicuro della bontà della scelta di usare degli<br>

identificativi non ascii in questo contesto (ovvero non dovuto al<br>
locale degli sviluppatori): forzeresti quelli che devono modificare a<br>
fare copia incolla, modificare xmodmap, usare emacs o altro :P<br>
<br></blockquote><div>Nemmeno a me piace tantissimo per la verità, però è un progetto veramente complesso (ingegneristicamente parlando) che preferisco avere codice quanto più leggibile possibile. </div><div>L'unico che lo userà/modificherà sarò io, quindi, il problema è relativo.</div>
<div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
purtroppo non puoi usare liberamente pedici ed indici negli identifier:<br>
imho, un compromesso può essere usare una notazione simile a quella<br>
del math mode di latex,<br>
ovvero _ per pedici e ^ per gli apici<br><br></blockquote><div>Perfetto! Ma come hai fatto ad ottenere \beta? Con il copia e incolla? e che codifica hai definito ad inizio script?</div></div><br clear="all"><div><br></div>
-- <br>____________________________<br>Giuseppe Amato<br>e-mail: <a href="mailto:giuamato@gmail.com" target="_blank">giuamato@gmail.com</a>
</div></div>