template-haskell

16Ciepło

2Odpowiedz

Czy można porównać dwa typy, jeśli można je przypisać z drugiego?

Powiedzmy mam dwa types: t1 <- [t| (Functor f) => (a -> b) -> f a -> f b |] t2 <- [t| (Int -> Char) -> [Int] -> [Char] |] Czy to możliwe do ustalenia w Template Haskell że wyrazem t1 może być równi

8Ciepło

1Odpowiedz

QuasiQuote z argumentami

Chcę napisać ofertę w Haskell. Argument name musi zostać przekazany do funkcji gen w celu wygenerowania deklaracji. quote :: String -> QuasiQuoter quote name = QuasiQuoter { quoteExp = undefine

5Ciepło

1Odpowiedz

wynikających lektura Instancje dla GADTs

Jak mogę automatycznie czerpać instancji Read dla tego GADTs: {-# LANGUAGE GADTs, StandaloneDeriving #-} data TypeDec a where TypeDecInt :: TypeDec Int TypeDecString :: TypeDec String de

49Ciepło

1Odpowiedz

Czy można generować komentarze do funkcji w Template Haskell?

W naszym projekcie mamy wiele funkcji generowanych przez TH. Byłoby sensowne dodawanie do nich ogólnych komentarzy, aby były widoczne w Haddock/Hoogle. Przynajmniej coś w stylu "To zostało wygenerowan

6Ciepło

1Odpowiedz

Czy to oczekiwane zachowanie szablonu Haskell?

Może ktoś powiedzieć, dlaczego ten kod nie skompilować data A = A { _b :: B } makeLenses ''A type B = String z komunikatem Not in scope: type constructor or class B i to robi: type B = St

18Ciepło

1Odpowiedz

Szablon Haskell: Czy istnieje funkcja (lub specjalna składnia), która analizuje łańcuch i zwraca Q Exp?

Próbuję dowiedzieć się trochę Template Haskell i quasi cytat, i szukam funkcji, które odbywają się String i analizuje je Q Exp, więc typ to: String -> Q Exp Próbowałem szukając hoogle, ale wyniki, k

5Ciepło

1Odpowiedz

Co to jest introspekcja kodu w haskell?

W yesod book znajduje się ustęp: Szablon Haskell jest zasadniczo Haskell, który generuje Haskell Abstract Syntax drzewo (AST). W rzeczywistości jest więcej mocy w TH, ponieważ może on rzeczywiście int

9Ciepło

1Odpowiedz

Jakie są różnice między inline-c i language-c-inline?

Przez krótki czas analizowałem biblioteki quasi-cytatów dla Haskella. Biblioteki te pozwalają Haskell na integrację z innymi językami. Do integracji z C, wydaje się, że dwa pakiety o podobnej funkcjon

6Ciepło

3Odpowiedz

Oblicz N-Ary (z różnymi typami !!) Produkt kartezjański w Haskell

Wiem, że funkcja sequence może obsłużyć problem [[1, 2], [3, 4]] -> [[1, 3], [1, 4], [2, 3], [2, 4]]. Ale myślę, że prawdziwy produkt kartezjański powinien poradzić sobie z problemem ([1, 2], ['a', 'b

26Ciepło

4Odpowiedz

Adnotacja AST bez tabliczki rejestracyjnej w Haskell?

Błądziłem przy kompilatorze wiązów, który jest napisany w Haskell. Chciałbym rozpocząć wdrażanie pewne optymalizacje dla niego, a część wymaga to przemierzając AST i dodawanie adnotacji „do” niektóryc