implicits

8calore

2risposta

funzione dei parametri impliciti non più così dopo il passaggio ad una funzione di ordine superiore

In Scala si possono fare cose come: def foo(implicit v: Int) = println(v); def h(x: Int) = { implicit val i: Int = x; foo } h(42) > 42 h chiamata ottiene foo di riferimento come chiusura. Non sa

6calore

1risposta

cause implicite scala StackOverflowError

In che modo questa valenza implicita causa uno StackOverFlowError? (abita in fondo il mio codice originale, per causare ancora l'errore) object Complicit { // a class with name, default, and conv

7calore

1risposta

falsi errori quando si utilizza libreria di gatti in IntelliJ

Sto usando il gatti libreria Scala e l'IntelliJ IDE sembra essere alle prese con l'uso di impliciti: Ecco un semplice esempio: import cats.std.all._ import cats.Traverse.ops._ def useSequence[A](ls

7calore

1risposta

La conversione implicita di Scala si applica in alcune condizioni ma non in altre

Ecco un semplice riproduttore, in cui definisco un tipo di coppia "commutativa" che viene fornito con una conversione di riordino implicita. La conversione implicita viene applicata dal compilatore co

7calore

1risposta

Perché la risoluzione implicita di Scala non riesce per il metodo sovraccaricato con il parametro type?

Il primo esempio rileva correttamente la conversione implicita al metodo foo(String), però non appena aggiungo un parametro di tipo (vedi fails) le compilazioni non risolve faccio più: object works {

48calore

1risposta

non può dimostrare che i tipi di Singleton sono tipi Singleton, mentre la generazione tipo di istanza di classe

Supponiamo che io ho una classe tipo che dimostra che tutti i tipi in un coprodotto Shapeless sono tipi Singleton: import shapeless._ trait AllSingletons[A, C <: Coproduct] { def values: List[A

5calore

1risposta

contesto delimita con due parametri generici

a Scala, posso utilizzare limiti di contesto: def sort[T : Ordered](t: Seq[T]) per indicare la stessa cosa: def sort[T](t: Seq[T])(implicit def Ordered[T]) Che cosa succede se ho una classe con du

26calore

1risposta

Condizioni in cui il compilatore non definirà impliciti (costruttore, distruttore, costruttore di copia, assegnazione copia)

Questa dovrebbe essere una domanda banale ma non ho potuto trovarla esplicitamente su StackOverflow. Quanto segue verrà definito implicitamente se non fornito dall'utente. predefinito (senza parametri

12calore

1risposta

Distinzione tra tipo alias e tipo lambda

Questa domanda riguarda un limite del sistema di risoluzione implicito di Scala che ho incontrato poche volte quando si utilizza Scalaz e che per me non ha molto senso. Ho distillato il problema in un

10calore

1risposta

Scala - Co/Contra-varianza applicata alla selezione parametro implicito

ho una caratteristica del genere: trait CanFold[-T, R] { def sum(acc: R, elem: T): R def zero: R } Con una funzione che funziona con esso in questo modo: def sum[A, B](list: Traversable[A