template-haskell

6calore

3risposta

Calcola N-Ary (con tipi diversi !!) Prodotto cartesiano in Haskell

So che la funzione sequence può gestire il problema [[1, 2], [3, 4]] -> [[1, 3], [1, 4], [2, 3], [2, 4]]. ma penso che il vero prodotto cartesiano deve gestire il problema ([1, 2], ['a', 'b']) -> [(1,

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

16calore

2risposta

È possibile confrontare due tipi, se uno è assegnabile dall'altro?

Diciamo che ho due types: t1 <- [t| (Functor f) => (a -> b) -> f a -> f b |] t2 <- [t| (Int -> Char) -> [Int] -> [Char] |] è possibile determinare in Template Haskell che un'espressione di t1 può a

10calore

1risposta

Una soluzione alternativa per il bug "Template Haskell + C"?

Ho la seguente situazione: Library X è un wrapper su un certo codice in C. Library A dipende biblioteca X. Library B usa Template Haskell e dipende biblioteca A. GHC bug #9010 rende impossibile instal

10calore

1risposta

Qual è il costrutto $()?

ho cercato di trovare nel Haskell riferimento l'uso di questo: getHomeR = defaultLayout $ do setTitle "My Awesome Site" $(widgetFile "home") In particolare: $(widgetFile "home") So che l

49calore

1risposta

È possibile generare commenti alle funzioni in Template Haskell?

Nel nostro progetto abbiamo molte funzioni generate dal TH. Avrebbe senso aggiungere loro commenti generici in modo che fossero visibili in Haddock/Hoogle. Per lo meno, qualcosa come "Questo è stato g

6calore

1risposta

Questo comportamento atteso di Template Haskell?

Chiunque può dire il motivo per cui questo codice non viene compilato data A = A { _b :: B } makeLenses ''A type B = String con il messaggio Not in scope: type constructor or class B e qu

10calore

1risposta

Come ottenere la dichiarazione di una funzione usando `reify`?

La funzione reify mi consente di cercare informazioni su un determinato nome. Per una funzione il valore restituito è VarI: data Info = ... | VarI Name Type (Maybe Dec) Fixity | ... Qui posso esamin

9calore

1risposta

Quali sono le differenze tra inline-c e language-c-inline?

Ho esaminato brevemente le librerie di quasi quotazioni per Haskell. Queste librerie consentono ad Haskell di integrarsi con altre lingue. Per l'integrazione con C, sembra che vi sia due pacchetti con

7calore

1risposta

definizioni di funzioni multiple con template Haskell

Supponiamo che io sono un tipo di dati in questo modo: data Color = Red | Blue | Green Come dovrei generare una funzione come questa utilizzando templatehaskell? myShow Red = ... myShow Blue = ...