existential-type

1Hitze

1Antwort

Warum verbietet Scala-Compiler die Deklaration eines Wildcard-Typs als Super-Typ eines Typparameters

Ich habe versucht, einen Typalias für den abhängigen Typ _ >: a.type zu erstellen. Der Scala-Compiler einen Fehler meldet, die ich nicht verstehe: scala> def foo[A](a: A) = { | type F = Function1

13Hitze

1Antwort

Warum `[1," a "] :: [forall a. Show a => a] `ist nicht erlaubt?

In meinem (möglicherweise falsch) Verständnis, sollten folgende zwei Listen gleichwertig: [1, "a"] :: [forall a. Show a => a] data V = forall a. Show a => V a [V 1, V "a"] :: [V] jedoch die erste

7Hitze

2Antwort

Haskell-Funktion gibt den existentiellen Typ zurück

Ist es möglich, eine Haskell-Funktion zu schreiben, die einen parametrisierten Typ liefert, bei dem der genaue Typparameter verborgen ist? I.e. etwas wie f :: T -> (exists a. U a)? Der offensichtliche

2Hitze

1Antwort

Prompt Monad in Purescript

Ich arbeite durch die Definition Prompt und seine Bind Instanz beschrieben here und versuchte herauszufinden, wie dies in Purescript aussehen würde. Ich verwende Purescript.Exists für den existentiell

0Hitze

1Antwort

Standardwerte unterliegen existentielle Einschränkung in Haskell

folgende typeclass Betrachten Sie die Paare von Typen definiert: class Constraint a b where g :: a -> b Für alle Instanzen Einschränkung können wir eine Reihe von Typen ableiten a, im Wesentlic

6Hitze

2Antwort

Versteckt den Typ Parameter

Ich versuche, den Typ Parameter einer State Monade in einem neuen Typ zu verstecken, aber ich habe eine harte Zeit vereinheitlichen die existent qualifizierte s mit der g für evalFoo zur Verfügung ges

0Hitze

1Antwort

Scala Universal-vs Existentielle Art Verwirrung

In this answer sagt es ... // Universal types let you write things like: def combine[T](source: List[T], dest: List[T]): List[T] = { source ++ dest } Aber ich verstehe nicht die Erkl

1Hitze

1Antwort

Haskell heterogene Liste der speicherbaren Objekte

I Funktion schreiben wollen, die heterogene Liste der speicherbaren Objekte (verschiedene Typen) stoßen kann {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE RankNTypes, ExistentialQuantification, Imp

2Hitze

1Antwort

Was ist daran falsch (Compilerfehler)?

Es tut mir leid für solche nicht beschreibenden Titel, aber ich weiß wirklich nicht, wie man das besser ausdrücken kann. class Foo[T] Seq(new Foo[String], new Foo[Int]).groupBy(_ => 1).map { case (k,

2Hitze

1Antwort

Verständnis `k: Nat ** 5 * k = n 'Signature

Die folgende Funktion erstellt: onlyModByFive : (n : Nat) -> (k : Nat ** 5 * k = n) -> Nat onlyModByFive n k = 100 Aber was bedeutet k repräsentiert mit ihrer Nat ** 5 * k = n Syntax? Auch, wie kan