higher-kinded-types

15calore

1risposta

Chiedendo tipo di un tipo a Scala vs Haskell

Quando si chiede per il tipo di [Int] e [] in Haskell ottengo: Prelude> :k [Int] [Int] :: * Prelude> :k [] [] :: * -> * che ha un senso: il primo è un tipo e il secondo è un tipo più alto di tipo

5calore

1risposta

Differenza tra i membri di tipo superiore della dichiarazione dei membri

Guardando alle fonti per la libreria informe, ho prestato attenzione a diverse dichiarazioni dei membri di tipo superiore e chiedendomi se ha qualche differenza concreta nell'utilizzo. Per esempio tra

14calore

4risposta

Perché è possibile passare a Int dove è previsto un parametro F [_] valido?

Diciamo che abbiamo una funzione: def bar[F[_], A](x: F[A], y: F[A]) = null Tutto il seguente comportamento sono chiari: bar(List(1, 2, 3), List(1)) // compile ok bar(List(1), Some(1)) // doesn't c

6calore

1risposta

Scala utilizzando informe combinare coprodotti superiore kinded sopra una trasformazione naturale

Dato un insieme di ADT che hanno due sotto insiemi distinti Ad esempio: sealed trait Domain[Y] sealed trait Command[Y] extends Domain[Y] sealed trait Query[Y] extends Domain[Y] case class Add(valu

5calore

2risposta

Soppressione @unchecked avvertimento per un tipo esistenziale superiore kinded

In Scala 2.10, data class Foo[F[_]], non posso scrivere scala> x.isInstanceOf[Foo[_]] <console>:10: error: _$1 takes no type parameters, expected: one x.isInstanceOf[Foo[_]] ^ o

5calore

3risposta

Come definire un tipo di tipo superiore di tipo esistenziale in Scala

Stavo cercando di definire un tipo che accetta un tipo di tipo superiore di tipo esistenziale in Scala. Sfortunatamente Scalac non lo consente. Welcome to Scala version 2.11.7 (Java HotSpot(TM) 64-Bit

8calore

1risposta

Scala tipi di tipi più elevati in implicit def falliscono con "impossibile trovare il valore implicito"

Sto utilizzando implicit def per creare un tipo ricorsivo HList, per abbinare diversi tipi di tipi più elevati di HList. Sono fortemente ispirato da this post. Questo codice è perfettamente funzionant

6calore

2risposta

Perché le monade non compongono in scala

Perché le monadi non compongono quando una Monade è una Applicativa e una Applicativa è una Functional. Vedete questa catena ereditaria in molti articoli sul web (che ho attraversato). Ma quando Funci

6calore

1risposta

Le informazioni di tipo vengono perse quando si lavora con oggetti di tipo alto in Scala

Sto cercando di ridimensionare un po 'di codice e ho dovuto lavorare con tipi di tipo più alto. Il seguente esempio minimale funziona bene: trait Builder[M[_]] { def build[A]: M[A] def build

6calore

1risposta

Come è possibile scrivere metodi di miglioramento Scala generici che associano il tipo di raccolta e il tipo di elemento?

Se sei come me, di tanto in tanto vuoi scrivere metodi avanzati per le raccolte o le sequenze di Scala, ma desideri associare il tipo di raccolta e il tipo di elemento, non solo l'upcast a Seq [T].