recursion-schemes

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

---

18calore

1risposta

Qual è il tipo di un catamorfismo (piega) per tipi ricorsivi non regolari?

Molti catamorfismi sembrano essere abbastanza semplici, sostituendo per lo più ogni costruttore di dati con una funzione personalizzata, ad es. data Bool = False | True foldBool :: r -- False cons

haskell types catamorphism recursion-schemes 2015-06-12

---

9calore

1risposta

Cos'è un anamorfismo e come appare in C#?

Sto cercando di riprendere il concetto di anamorfismo. Nella programmazione funzionale, un anamorfismo è una generalizzazione del concetto di dispiegarsi negli elenchi. Formalmente, gli anamorfismi so

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

---

11calore

1risposta

Implementazione di una libreria di uno schema di ricorsione

Ho "inventato" uno schema di ricorsione che è una generalizzazione del catamorfismo. Quando si piega una struttura di dati con catamorphism che non hanno accesso a sottotermini, solo per subresults di

haskell recursion catamorphism recursion-schemes 2013-08-02

---