typeclass

2Hitze

1Antwort

Wie man impredikative Typen mit Typklassen arbeiten kann

Ich habe gesehen, was ich mit ImpredicativeTypes machen kann und wollte sehen, was genau ich damit machen kann. Als ich zu dem kam, was ich fühle, ist ein seltsames Verhalten, wenn es um ihre Interakt

5Hitze

1Antwort

Was bewirkt das Aux-Muster in Scala?

Ich habe ein wenig Sinn für das Aux-Muster (wie in Shapeless und anderswo verwendet), in denen ein Typ-Member in einen Typparameter extrahiert wird, und ich weiß, es ist eine Umgehung der Tatsache, da

1Hitze

2Antwort

Würden Sie in diesem Fall eine Typklasse verwenden?

Angenommen, ich habe eine ADT wie diese bekommen: sealed trait A extends Product with Serializable object A { case class A1() extends A case class A2() extends A case class A3() extend

0Hitze

2Antwort

scala Typparameter als Objekttyp

Wie kann ich das erreichen: final case class ChairId(id: String) trait GeneratorLike[TO, TC <: AbstractId] { val prefix: String def generate(): TC = TO.apply(prefix + "-" + UUID.randomUUID

3Hitze

3Antwort

Erstellen von Ord Instanzen mit newtype

Bei einem Datentyp wie Einwickeln data Foo = Bar | Baz | Qux und ich wünsche für diese Art mehr verschiedene Anordnungen haben, ist der folgende der häufigste/Standard-Weg, dies zu erreichen? newtyp

3Hitze

2Antwort

Wie funktioniert die Gleichheit für numerische Typen?

Ich sehe, dass Haskell verschiedene numerische Typen verglichen werden können: *Main> :t 3 3 :: Num t => t *Main> :t 3.0 3.0 :: Fractional t => t *Main> 3 == 3.0 True Wo ist der Quellcode für d

4Hitze

2Antwort

Ist es möglich, einen Typparameter eines Typparameters auf eine parametrisierte Klasse in Scala zu übertragen?

Angenommen, ich habe eine Eigenschaft . Ich möchte Bar eine Klasse definieren, parametrisiert mit Foo und Foo Typparametern in Bar Methoden wiederverwenden. So etwas wie unten gezeigt (dieser Schnipse

2Hitze

2Antwort

Der erwartete Typ 'r' konnte nicht mit dem tatsächlichen Typ 'Pferd' verglichen werden.

Ich fummle mit Haskell herum, aber ich kämpfe mit einem Problem. Der folgende Code: class HasHorses e where yieldInHorses :: (InHorses r) => e -> r class InHorses e data Horse = Horse String data

7Hitze

1Antwort

Wie kann ich eine Instanz für eine bestimmte Anwendung in Haskell 98 definieren?

bemerkte ich, dass die Testsuite für Data.Set wirklich Arbitrary Set a für a ~ Int vernünftig definiert nur, aber die GHC speziellen ~ es verwendet instance Enum a => Arbitrary (Set a) Wie kann ich

3Hitze

2Antwort

MonadError-Instanz für eine freie Monade

Ich habe eine sehr nützliche freie Monade aus einem Summen-Datentyp erstellt. Der Abstracts Zugang zu einem persistenten Datenspeicher: data DataStoreF next = Create Asset (String -> next)