GHC eseguirà l'ottimizzazione della coda per la seguente funzione di default? L'unica cosa strana è che sta definendo ricorsivamente un'azione IO, ma non vedo perché questo non possa essere TCO'd. imp
I linguaggi funzionali portano a ricorrere alla ricorsione per risolvere molti problemi, pertanto molti di essi eseguono il TCO (Tail Call Optimization). Il TCO provoca chiamate a una funzione da un'a