scrap-your-boilerplate

26calore

4risposta

Annotazione Boilerplate di AST in Haskell?

Ho giocato con il compilatore Elm, che è scritto in Haskell. mi piacerebbe iniziare ad attuare alcune ottimizzazioni per esso, e parte di questo comporta che attraversa l'AST e l'aggiunta di "annotazi

9calore

2risposta

Come costruire istanze di Functor generiche utilizzando GHC.Generics (o altri framework simili)?

Sto cercando di imparare GHC Generics. Dopo aver esaminato diversi esempi, ho voluto provare a creare istanze generiche Functor (ignorando che GHC può ricavarle automaticamente per me). Tuttavia, mi s

5calore

2risposta

Haskell's Scrap Your Boilerplate (SYB) - applica la trasformazione una sola volta anziché ovunque

Qual è il modo migliore per applicare una trasformazione a un albero una sola volta invece di everywhere utilizzando SYB? Ad esempio, nella seguente espressione semplificata, esistono diverse istanze

8calore

1risposta

Derivazione di istanze predefinite utilizzando GHC.Generics

Ho una classe di caratteri Cyclic per cui vorrei essere in grado di fornire istanze generiche. class Cyclic g where gen :: g rot :: g -> g ord :: g -> Int Dato un tipo somma di costru

14calore

1risposta

Comprendere la firma tipo di gfoldl da Data.Data.Data

Data definisce come una delle sue funzioni fondamentali gfoldl: gfoldl :: (Data a) => (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> a -> c a Qual

11calore

2risposta

Equivalente Clojure di "Scrap Your Boilerplate" (SYB)

Ho trovato una libreria interessante in Haskell chiamata Scrap Your Boilerplate basata su un paper by Simon Peyton Jones che sembra un modo efficace per scrivere codice in grado di aggiornare struttur