<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">2015-07-28 17:17 GMT+01:00 Nadir Sampaoli <span dir="ltr"><<a href="mailto:nadirsampaoli@gmail.com" target="_blank">nadirsampaoli@gmail.com</a>></span>:<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<p dir="ltr">In realtà println è una macro ( <a href="https://doc.rust-lang.org/std/macro.println!.html" target="_blank">https://doc.rust-lang.org/std/macro.println!.html</a>) ed espande in un blocco che termina comunque con punto e virgola (non ho scavato a fondo e non sono pratico della sintassi delle macro ma immagino sia "turtles all the way down").</p></blockquote><div>Ah, puo' essere che faccia quello. Cioe', sembra consistente con quello che dici.</div><div><br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<p dir="ltr"><span class="">> Ci saranno anche dei linter per PHP, no?<br></span>
Dovrei dedicarci un po' di tempo in effetti. Io uso syntastic che mi dà solo gli errori palesi di sintassi (analisi statica e basta).</p></blockquote><div>Si, ma io metterei un linter (per qualunque linguaggio dinamico di sicuro, ma anche per molti linguaggi statici) nel processo di build. Domani qualcuno non usa il plugin e mi mette in produzione codice bacato? Il cazzo. Si spacca la build e lo vado a prendere per le orecchie invece che doverlo trasformare in polpa di pomodoro a randellate. Direi un win-win.</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><p dir="ltr">
Nota a margine: tolte le funzioni non-totali non c'è verso di determinare se una funzione non termina vero? (Turing, NP e compagnia bella, immagino).</p></blockquote><div>Il contrario: le funzioni totali (per definizione) terminano sempre. Se hai solo funzioni totali termini sempre [a meno che nel frattempo non collassi l'universo -- escludendo problemi hw di natura piu' mondana: le mdt per definizione non si spaccano ]. Comunque, battute a parte: le funzioni totali per definizione terminano. Le funzioni parziali possono non terminare per determinati (potenzialmente tutti) gli input. Non a caso hai bisogno delle funzioni parziali per esprimere quello che e' intuitivamente turing-calcolabile. Se hai le funzioni parziali, hai anche l'halting problem.</div></div><div><br></div>-- <br><div class="gmail_signature"> .<br>..: -enrico-</div>
</div></div>