existential-type

10calore

1risposta

tipo esistenziale in funzione di ordine superiore

Ho una funzione il cui compito è quello di calcolare un valore ottimale di tipo a WRT qualche funzione valore di tipo a -> v type OptiF a v = (a -> v) -> a poi ho un contenitore che vuole conservare

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

6calore

1risposta

Come evitare l'uso di obiettivi con tipi esistenti?

Sto usando lente biblioteca di Edward Kmett per la prima volta, e la ricerca è piuttosto bello, ma mi sono imbattuto in un intoppo ... La domanda a [1] spiega che quantificatori esistenziali interromp

7calore

2risposta

Funzione Haskell che restituisce il tipo esistenziale

È possibile scrivere una funzione Haskell che produce un tipo parametrizzato in cui il parametro del tipo esatto è nascosto? Cioè qualcosa come f :: T -> (exists a. U a)? Il tentativo evidente: {-# LA

9calore

2risposta

GADT cast in modo normale

Diciamo che sto scrivendo una DSL e voglio avere supporto sia per il supporto di tipo fantasma che per le espressioni mal digitate. I miei tipi di valore potrebbero essere {-# LANGUAGE GADTs, DataKind

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

5calore

1risposta

Tipo firma del parser con quantificazione esistenziale

All'inizio ho avuto questo semplice tipo per un parser: data Parser a = Parser ([Token] -> Either String (a, [Token])) uso l'entrambi i messaggi di errore sul lato sinistro e l'espressione analizzat

6calore

1risposta

Come specificare il tipo per una raccolta eterogenea in un AST formulato GADT?

Mi piacerebbe creare un AST digitato per un linguaggio dinamico. Al momento, sono bloccato a gestire le collezioni. Ecco un esempio di codice rappresentante: {-# LANGUAGE GADTs #-} {-# LANGUAGE DataK

6calore

1risposta

sottolineatura per il tipo esistenziale in Scala

Ho letto un blog su di tipo esistenziale in Scala: Existential types in Scala In questo blog, si cita un esempio: Map[Class[T forSome { type T}], String] Map[Class[T] forSome { type T}, String] Map[

9calore

2risposta

È possibile avere sinonimi di tipo smemorato in Haskell?

Se ho un tipo con un parametro fantasma che ho solo qualche volta a cuore, come questo: data Foo p a b = Bar a b C'è un modo hack per scrivere un tipo sinonimo Baz tale che Baz a b è Foo p a b per q