singleton-type

9calore

1risposta

Utilizzo dell'uguaglianza booleana idiopatica (singleton)

Desidero creare una struttura dati per archiviare gli elementi contrassegnati a livello di testo utilizzando Symbol. Questo: data Store e (ss :: [Symbol]) where Nil :: Store e '[] Cons :: e

7calore

2risposta

Scala: c'è un modo per creare tipi in linea?

Fondamentalmente, mi piacerebbe essere in grado di scrivere qualcosa del genere: val x :('k1.type, Int) = 'k1 -> 1 val y :('k2.type, Int) = 'k2 -> 2 Dove tipi di X e Y non sono compatibili, ma in e

6calore

1risposta

Equivalenze e non equivalenze sorprendenti per questo.tipo

Sembra fare la differenza se si fa riferimento a this.type dall'interno di un tratto o dall'ambito di creazione dell'oggetto, con risultati sorprendenti. import scala.reflect.runtime.universe._ trai

8calore

1risposta

Esiste una connessione tra `a: ~: b` e` (a: == b): ~: True`?

Esiste una connessione implementata tra l'uguaglianza propositional e promoted? Diciamo che ho prf :: x :~: y portata per alcuni Symbol s; dal pattern matching su di esso essendo Refl, posso trasfor

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

9calore

2risposta

Singletons in liste eterogenee

Mi piacerebbe scrivere una funzione che analizzi una lista eterogenea. Per amor di discussione, diamo il seguente data Rec rs where Nil :: Rec '[] Cons :: ty -> Rec rs -> Rec ('(name, ty) ':