catamorphism

5Hitze

1Antwort

Catamorphismen für Church-codierte Listen

Ich möchte cata von recursion-schemes Paket für Listen in der Kirche Codierung verwenden können. type ListC a = forall b. (a -> b -> b) -> b -> b Ich benutzte einen zweiten Rang-Typ für die Bequemli

haskell recursion church-encoding catamorphism recursion-schemes 2015-07-16

---

23Hitze

1Antwort

Kann GHC generische Funktionen wie Katamorphismen optimieren (entforsten)?

Ich mag die Idee wirklich mit catamorphisms/anamorphisms in allgemeiner Weise zu arbeiten, aber es scheint mir, es eine bedeutende Leistung Nachteil hat: Angenommen, wir wollen mit einer Baumstruktur

optimization haskell ghc fusion catamorphism 2012-10-27

---

10Hitze

2Antwort

Wie können Katamorphismen mit parametrisierten/indizierten Typen arbeiten?

Ich habe vor kurzem ein wenig über F-Algebren gelernt: https://www.fpcomplete.com/user/bartosz/understanding-algebras. Ich wollte diese Funktionalität auf fortgeschrittenere Typen (indexiert und höher

haskell algebra type-systems gadt catamorphism 2013-07-06

---

10Hitze

4Antwort

Wie gebe ich eine Funktor-Instanz an einen Datentyp, der für allgemeine Rekursionssysteme erstellt wurde?

Ich habe einen rekursiven Datentypen, die eine Functor Instanz hat: data Expr1 a = Val1 a | Add1 (Expr1 a) (Expr1 a) deriving (Eq, Show, Functor) Nun, ich habe Interesse an Änderung d

haskell recursion typeclass catamorphism recursion-schemes 2014-11-19

---

15Hitze

2Antwort

Catamorphism und Bäumen durchqueren in Haskell

ich ungeduldig bin, freut sich catamorphism zum Verständnis related to this SO question :) Ich habe nur den Anfang von Real World Haskell Tutorial praktiziert. Also, vielleicht werde ich jetzt viel zu

haskell tree-traversal catamorphism 2010-12-13

---

18Hitze

1Antwort

Was ist der Typ einer Katamorphose (Faltung) für nicht-reguläre rekursive Typen?

Viele Katamorphismen scheinen einfach genug zu sein, wobei meistens jeder Datenkonstruktor durch eine benutzerdefinierte Funktion ersetzt wird, z. data Bool = False | True foldBool :: r -- False c

haskell types catamorphism recursion-schemes 2015-06-12

---

9Hitze

1Antwort

Was ist ein Anamorphismus und wie sieht man in C# aus?

Ich versuche, meinen Kopf um das Konzept des Anamorphismus zu wickeln. In der funktionalen Programmierung ist ein Anamorphismus eine Verallgemeinerung des Begriffs der entfaltet auf Listen. Formal sin

c# functional-programming catamorphism recursion-schemes anamorphism 2015-06-15

---

2Hitze

1Antwort

Wie mit AST mit Cofree Annotation arbeiten?

Ich habe diese einfache Expr AST und ich kann es leicht zu String konvertieren. import Prelude hiding (Foldable) import qualified Prelude import Data.Foldable as F import Data.Functor.Foldable imp

haskell abstract-syntax-tree comonad catamorphism recursion-schemes 2016-07-19

---

9Hitze

2Antwort

Kann man zwei Bäume mit Rekursionschemata vergleichen?

Ich habe diesen AST data ExprF r = Const Int | Add r r type Expr = Fix ExprF und ich mag x = Fix $ Add (Fix (Const 1)) (Fix (Const 1)) y = Fix $ Add (Fix (Const 1)) (Fix (Const 2)) Aber alle Rek

haskell tree abstract-syntax-tree catamorphism recursion-schemes 2016-07-23

---

11Hitze

1Antwort

Eine Bibliotheksimplementierung eines Rekursionsschemas

Ich 'erfand' ein Rekursionsschema, das eine Verallgemeinerung des Katamorphismus ist. Wenn Sie eine Datenstruktur mit catamorphism falten Sie haben keinen Zugang zu Termen, nur Nebenergebnisse der Fal

haskell recursion catamorphism recursion-schemes 2013-08-02

---