church-encoding

26calore

3risposta

liste Chiesa in Haskell

ho dovuto implementare la funzione Haskell mappa per lavorare con gli elenchi delle chiese che sono definiti come segue: type Churchlist t u = (t->u->u)->u->u In lambda calcolo, le liste sono codifi

haskell lambda-calculus church-encoding 2012-03-17

---

12calore

1risposta

ragioni pratiche per Сhurch codifica

Chiesa codifica (aka pattern Visitor) è un modo di rappresentare i dati come funzioni: invece di data T = C1 F1 F2 | C2 F3 F4 è possibile definire data T = T (forall r. (F1 -> F2 -> r) -> (F3 -> F4

haskell church-encoding 2012-03-21

---

14calore

2risposta

Perché utilizziamo le pieghe per codificare i tipi di dati come funzioni?

O per essere precisi, perché usiamo foldr per codificare le liste e l'iterazione per codificare i numeri? Scusate per l'introduzione a lungo termine, ma non so davvero come nominare le cose che voglio

haskell functional-programming algebraic-data-types church-encoding 2012-11-27

---

5calore

2risposta

È possibile creare una rappresentazione a livello di carattere di ADT generici?

Utilizzando la codifica Church, è possibile rappresentare qualsiasi tipo di dati algebrico arbitrario senza utilizzare il sistema ADT incorporato. Ad esempio, può essere rappresentato Nat (esempio in

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

---

8calore

2risposta

Perché gli elenchi di differenze non sono un'istanza di pieghevole?

Il dlist package contiene il tipo di dati DList, che ha molte istanze, ma non Foldable o Traversable. Nella mia mente, queste sono due delle classi di tipo più "classiche". C'è un motivo di prestazion

haskell church-encoding difference-lists 2013-03-23

---

5calore

1risposta

Catamorfismi per elenchi codificati dalla Chiesa

Desidero poter usare il pacchetto cata dal recursion-schemes per gli elenchi nella codifica della Chiesa. type ListC a = forall b. (a -> b -> b) -> b -> b Ho usato un secondo tipo per comodità, ma n

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

---

5calore

3risposta

Come implementare i numeri binari in Haskell

Ho visto il seguente costruttore di dati per numeri Chiesa data Nat = Zero | Succ Nat deriving Show Ma questo è numeri unari. Come implementiamo un costruttore di dati per i numeri binari in Haskell

haskell constructor binary church-encoding 2013-08-21

---

5calore

1risposta

Esiste un termine non ricorsivo che si ripiega su un elenco codificato in scott?

Supponiamo che ho una lista scott-encoded come ad esempio: scott = (\ c n -> c 1 (\ c n -> c 2 (\ c n -> c 3 (\ c n -> n)))) Voglio una funzione che riceve questo tipo di lista e lo converte in un e

haskell recursion lambda lambda-calculus church-encoding 2015-06-02

---

12calore

1risposta

Chiusure e quantificazione universale

Ho cercato di capire come implementare i tipi di dati codificati da Church in Scala. Sembra che richieda tipi di rank-n poiché è necessaria una funzione di prima classe const di tipo forAll a. a -> (f

scala functional-programming closures church-encoding quantifiers 2010-04-08

---