church-encoding

14Hitze

3Antwort

Ist es möglich, Kirchencodierungen zu verwenden, ohne die Gleichartigkeit zu brechen?

Geist dieses Programm: {-# LANGUAGE RankNTypes #-} import Prelude hiding (sum) type List h = forall t . (h -> t -> t) -> t -> t sum_ :: (Num a) => List a -> a sum_ = \ list -> list (+) 0 toLi

2Hitze

1Antwort

Kirche Codierung von boolean und STLC

Es wird oft gesagt, dass tru t f = t fls t f = f Wahr und Falsch in dem Sinne darstellen, dass „wir diese Begriffe verwenden können, um die Prüfung der Wahrheit eines Booleschen Wert, den Vorgang a

1Hitze

1Antwort

Wie erstellt man eine Typinstanz der Klasse in Haskell?

Ich bin ein Neuling in Haskell. Ich suche, ob es eine Möglichkeit gibt, eine Instanz des Typs einer Klasse zu erstellen. Gibt es eine Möglichkeit, diesen Code ohne Verwendung von Daten oder Newtype fu

12Hitze

3Antwort

Effizienterer Schwanz der Kirche codierte Liste

Dies ist ein literarischer Haskell Beitrag. Speichern Sie es einfach als "ChurchList.lhs", um es auszuführen. > {-# LANGUAGE Rank2Types #-} Eine Church-codierte Liste ist eine Möglichkeit, eine List

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

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

2Hitze

1Antwort

Lambda-Kalkül (SML) - Tragen Sie eine Kirche Nummer an einen anderen

Ich versuche, die Exponentiationsfunktion auf Kirche Zeichen zu verstehen: fun power m n f = n m f; Darin sehe ich eine Multiplikation. Ich weiß, dass es falsch ist, weil die Multiplikation lautet:

5Hitze

1Antwort

Gibt es einen nicht rekursiven Ausdruck, der sich über eine scott-codierte Liste faltet?

Nehmen wir an, ich habe eine Liste scott-encoded wie: scott = (\ c n -> c 1 (\ c n -> c 2 (\ c n -> c 3 (\ c n -> n)))) möchte ich eine Funktion, die eine solche Art von Liste empfängt und wandelt e

12Hitze

1Antwort

Verschlüsse und universelle Quantifizierung

Ich habe versucht, herauszufinden, wie Church-codierte Datentypen in Scala implementiert werden. Es scheint, dass es Rang-n-Typen erfordert, da Sie eine erstklassige const-Funktion des Typs forAll a.