Spesso non è necessario prestare attenzione agli argomenti impliciti in Scala, ma a volte è molto utile capire come il compilatore li fornisce automaticamente. Sfortunatamente, questa comprensione sembra essere difficile da ottenere!Esiste un modo sistematico per scoprire quali sono le implicite def in ambito e quali sono vincolate in un punto particolare?
Esiste un metodo generale per scoprire come è stato fornito un parametro implicito in una determinata porzione di codice?
Idealmente, un giorno l'integrazione IDE sarebbe fornire queste informazioni in qualche modo, ma mi aspetto per ora dovrò scavare più a fondo. C'è un modo per chiedere al compilatore di spiegare esattamente quale definizione implicita sceglie in un dato punto? Questo può essere decifrato indirettamente da altri output del compilatore?
Per fare un esempio, mi piacerebbe sapere come lavorare per conto mio in cui l'argomento implicit bf: CanBuildFrom[Repr, B, That]-TraversableLike.map proviene, senza leggere domande come this one su Stack Overflow!
La fase di typer non dovrebbe fornire AST anche con informazioni di tipo inferito quando scalac esegue una risoluzione implicita? http://stackoverflow.com/q/27468053/306488. – lisak