catamorphism

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

23calore

1risposta

È possibile rendere GHC ottimizzare (deforest) funzioni generiche come i catamorfismi?

mi piace molto l'idea di lavorare con catamorphisms/anamorphisms in modo generico, ma mi sembra che ha un notevole svantaggio delle prestazioni: supponiamo di voler lavorare con una struttura ad alber

10calore

2risposta

Come far funzionare i catamorfismi con tipi parametrici/indicizzati?

Recentemente ho appreso un po 'di F-algebre: https://www.fpcomplete.com/user/bartosz/understanding-algebras. Volevo trasferire questa funzionalità a tipi più avanzati (indicizzati e di livello superio

6calore

1risposta

Scala domanda inferenza di tipo

ero solo pottering circa con Tony Morris' excellent exercise on catamorphisms, quando stavo riflettendo quello che stava accadendo nella seguente situazione ... def cata[X](some: A => X, none: => X):

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

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

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

9calore

2risposta

Qual è la relazione tra fold su Option, o etc e fold su Traversable?

Scalaz fornisce un metodo denominato fold per vari ADT come Boolean, Option[_], Validation[_, _], Either[_, _] ecc. Questo metodo utilizza fondamentalmente le funzioni corrispondenti a tutti i casi po