type-kinds

5calore

1risposta

Possiamo scrivere singoli, le istanze complete per i parametri di tipo *: class MyClass d where f :: d -> Int instance MyClass (Maybe d) where f _ = 3 test1 :: Maybe d -> Int test1 x =

9calore

1risposta

Tipo vs Classifica teoria dei tipi

Ho difficoltà a comprendere i tipi di rango superiore rispetto a quelli di rango superiore. Il tipo è piuttosto semplice (grazie alla letteratura Haskell per questo) e io pensavo che il rango sia simi

6calore

2risposta

Definizione di Haskell FixF in scala

Così comonad.com ha un'interessante serie di articoli su come lavorare con gli applicativi e ho cercato di portare quello che posso a scala (per divertimento e per imparare). Così, Haskell definisce F

21calore

1risposta

Non definito a livello di tipo

Spesso quando sto giocando con il codice Haskell, interrompo le cose con un'annotazione di tipo e undefined. foo :: String -> Int foo = undefined Esiste un livello di tipo "non definito" che potrei

6calore

2risposta

Si tratta di un tipo di tipo più elevato in Scala?

Avendo seguente definizione type MyMap = Map[String, List[Map[Int, String]]] possibile mappare essere definito come un tipo kinded più alto?

5calore

1risposta

non poteva competere tipo `* 'contro' #'

Che diavolo sta succedendo qui: "Couldn't match kind `*' against `#'" stavo provando quanto segue in GHCi utilizzando TemplateHaskell (ghci -XTemplateHaskell) $(reify ''Show >>= dataToExpQ (const No

5calore

1risposta

tipi non conformi con il tipo di lambda

Hai problemi con il tipo di "tipi": trait Sys[ S <: Sys[S]] trait Expr[S <: Sys[S], A] trait Attr[S <: Sys[S], A[_]] def test[ S <: Sys[S]]: Attr[S, ({type l[x<:Sys[x]]=Expr[x,Int]})#l] = ??? Que

16calore

2risposta

ConstraintKinds spiegato in un esempio semplicissimo

Che cos'è un Constraint kind? Perché qualcuno dovrebbe usarlo (in pratica)? A cosa serve? Potrebbe fornire un semplice esempio di codice per illustrare le risposte alle due domande precedenti? Perché