algebraic-data-types

-3Hitze

1Antwort

Haskell fmap foldr für algebraische Datenstrukturen

Ich muss Code implementieren, um einige Tests abzudecken, aber ich stehe mit einigen kleinen Problemen fest. Die Logik für Foldr-Funktionen scheint korrekt zu sein, aber ich bekomme einen Fehler beim

haskell algebraic-data-types 2016-06-23

---

1Hitze

1Antwort

Haskell foldr algrebraic datatypes

Ich habe alle Probleme gelöst, die ich mit Funktionen hatte, aber eine bleibt übrig. Die foldr Funktion arbeitet vom letzten Elemente zum ersten und ich brauche die Daten in der anderen Reihenfolge mo

haskell algebraic-data-types 2016-06-23

---

3Hitze

1Antwort

Ist es eine gute Idee, Methoden zu Scala-Fallklassen hinzuzufügen

Fallklassen sind vermutlich algebraische Typen, daher sind einige Leute dagegen, der Fallklasse Methoden hinzuzufügen. Kann jemand bitte ein Beispiel dafür geben, warum es eine schlechte Idee ist?

scala algebraic-data-types 2016-05-05

---

1Hitze

2Antwort

Vergleich des benutzerdefinierten Datentyps mit Parametern

Ich lerne Haskell und versuche, dieses Programm zu implementieren. Ich habe einen benutzerdefinierten Datentyp data CalculatorInput = Exit | Error String | Operator (Int -> Int -> Int)

haskell pattern-matching algebraic-data-types do-notation 2016-05-08

---

5Hitze

2Antwort

Ist es möglich, eine Typ-Level-Darstellung generischer ADTs zu erstellen?

Mithilfe der Church-Codierung kann jeder beliebige algebraische Datentyp ohne Verwendung des integrierten ADT-Systems dargestellt werden. Zum Beispiel kann Nat dargestellt (in Idris Beispiel) werden a

functional-programming agda algebraic-data-types idris church-encoding 2016-06-28

---

2Hitze

1Antwort

Racket: define-Typ Referenz

Ich versuche definieren Typen zu verwenden, um einen geeigneten algebraischen Datentyp für Referenzen zu kompilieren: Books: Author. Title. Publisher, City Year Articles from Magazines: Author. T

reference racket algebraic-data-types 2016-06-30

---

1Hitze

2Antwort

Wie erstelle ich ein a Vielleicht gleichwertig für Vektoren von Vektoren?

Ich versuche, diese Arbeit zu bekommen: type CharVector = V.Vector Char type CharMatrix = V.Vector CharVector data MaybeCharMatrix = Nothing | CharMatrix Aber ich bin nicht in der Lage,

haskell vector algebraic-data-types 2016-05-15

---

3Hitze

2Antwort

Constructing Haskell-Datentypen mit vielen Feldern

Ich habe Datentyp data Constants = Constants { x1 :: Int, x2 :: Int, ... , x100 :: Int } Namen x1, x2, ..., x100 unregelmäßige Namensgebung haben. Gibt es eine elegante Möglichkeit, Konstanten Objek

haskell constructor algebraic-data-types 2016-07-08

---

2Hitze

1Antwort

Verwenden von algebraischen Datentypen für F # zum Lösen von Algebraproblemen

Wie funktionieren algebraische Datentypen in f #? Ich möchte ein einfaches Beispielprogramm sehen, um es zu erklären, aber ich kann keins finden. Zum Beispiel, vielleicht ein Code, der die quadratisch

f# algebra algebraic-data-types 2016-05-23

---

0Hitze

3Antwort

Fallklassen entsprechen vom Typ

Wenn ich versuche, eine Variable auf seiner Art zu entsprechen, wie in dem folgenden Code: object CaseClassesApp extends App { sealed trait A{} final case class B() extends A{} final c

scala algebraic-data-types 2016-06-04

---