Podczas kompilowania mojej aplikacji Haskell z -Wallopcją GHC narzeka na osierocone instancje, na przykład: Publisher.hs:45:9: Warning: orphan instance: instance ToSElem Result Klasa typu ToSElemnie jest moja, jest zdefiniowana przez HStringTemplate . Teraz wiem, jak to naprawić (przenieść...
W GHCi: Prelude> error (error "") *** Exception: Prelude> (error . error) "" *** Exception: *** Exception: Dlaczego pierwszy nie jest zagnieżdżonym wyjątkiem?
Jak uzyskać esqueleto do generowania ciągu SQL z frominstrukcji? Dokumentacja toRawSqlmówi, że „możesz po prostu włączyć trwałe logowanie zapytań”. Wypróbowałem wszystkie możliwe formy tego MonadLogger, co mogłem zrozumieć, ale nigdy nie wydrukowałem żadnego SQL. Ta sama dokumentacja mówi...
W obecnym stanie to pytanie nie pasuje do naszego formatu pytań i odpowiedzi. Oczekujemy, że odpowiedzi będą poparte faktami, referencjami lub ekspertyzą, ale to pytanie prawdopodobnie będzie wymagało debaty, argumentów, ankiet lub rozszerzonej dyskusji. Jeśli uważasz, że to...
Biorąc pod uwagę : data Foo = FooString String … class Fooable a where --(is this a good way to name this?) toFoo :: a -> Foo Chcę utworzyć Stringprzykład Fooable: instance Fooable String where toFoo = FooString GHC następnie narzeka: Illegal instance declaration for `Fooable...
Średnia Biblioteka Haskell typeclasses MonadPlus, Alternativei Monoidkażdy zapewniają dwie metody z zasadniczo tą samą składnię: Pusta wartość: mzero, empty, lub mempty. Operator a -> a -> a, który łączy wartości w typeclass razem: mplus, <|>, lub mappend. Wszystkie trzy...
goDużo widzę czytając materiał lub źródło Haskella, ale nigdy nie czułem się z tym komfortowo - (myślę, że ma to negatywne konotację „goto”). Zacząłem uczyć się języka Haskell z LYAH i wtedy wychwyciłem tendencję do używania acci steppisania fałd. Skąd się wzięła konwencja pisania go? A co...
(Mam nadzieję, że to pytanie jest na temat - próbowałem poszukać odpowiedzi, ale nie znalazłem ostatecznej odpowiedzi. Jeśli zdarzy się, że jest to nie na temat lub już odpowiedziałem, moderuj / usuń je.) Pamiętam, że kilka razy słyszałem / czytałem pół-żartobliwy komentarz, że Haskell jest...
Napisałem ten mały fragment Haskella, aby dowiedzieć się, jak GHC udowadnia, że w przypadku liczb naturalnych można zmniejszyć o połowę tylko te parzyste: {-# LANGUAGE DataKinds, GADTs, KindSignatures, TypeFamilies #-} module Nat where data Nat = Z | S Nat data Parity = Even | Odd type...
W jakich sytuacjach należy liftIOużyć? Kiedy używam ErrorT String IO, liftfunkcja działa w celu podniesienia akcji IO do ErrorT, więc liftIOwydaje się zbędna.
Szukam naprawdę prostych, łatwych do zrozumienia wyjaśnień schematów rekurencyjnych i korekturalnych (katamorfizmów, anamorfizmów, hylomorfizmów itp.), Które nie wymagają podążania za wieloma linkami ani otwierania podręcznika teorii kategorii. Jestem pewien, że wymyśliłem wiele z tych schematów...
Zastanawiam się, czy istnieje sposób, aby Haskell działał na JVM (skompilowanym lub zinterpretowanym)? Na Sourceforge istnieje JHaskell, ale ten wydaje się być pusty i martwy. GHC używa LLVM jako zaplecza kompilatora. Czy byłoby dobrym pomysłem lub możliwą kompilacją LLVM do kodu bajtowego...
Jak zdefiniować odpowiednik tej funkcji (wzięty z learnyouahaskell ) w GHCi? import Data.List numUniques :: (Eq a) => [a] -> Int numUniques = length . nub Bez deklaracji typu GHCi akceptuje definicję funkcji, ale kończy się niepomocnym typem: Prelude Data.List> import Data.List...
Często czytam ten termin na blogach o haskell i programowaniu funkcjonalnym (szczególnie na blogu sigfpe ), ale nie mam pojęcia, co to znaczy. Przez większość czasu udaje mi się nie wiedzieć, ale prawdopodobnie zrozumiałbym teksty dużo lepiej, gdybym wiedział. Google mi nie pomogło. Gubię się w...
Happstack Lite psuje mi się, ponieważ dostaje blaze-html w wersji 0.5 i chce wersji 0.4. Cabal mówi, że zainstalowane są obie wersje 0.4.3.4 i 0.5.0.0. Chcę usunąć 0.5.0.0 i używać tylko starszej wersji. Ale Cabal nie ma polecenia „odinstalowania”, a kiedy próbuję ghc-pkg unregister --force...
Powszechnie wiadomo, że funktory aplikacyjne są zamknięte w kompozycji, ale monady nie. Jednak mam problem ze znalezieniem konkretnego kontrprzykładu pokazującego, że monady nie zawsze komponują. Ta odpowiedź daje [String -> a]jako przykład nie-monady. Po trochę zabawie z tym, wierzę w to...
Chcę zrobić w Haskell coś, co wygląda tak: main1 = do s <- getLine if s == "foo" then putStr "You entered foo" Oczywiście nie jest to legalne, ponieważ nie ma else. Jedna alternatywa, o której myślałem: nop :: IO () nop = sequence_ [] main2 = do s <- getLine if s == "foo" then...
Jak wskazuje tytuł pytania, chcę wiedzieć, czym jest polimorfizm Lewity i jaka jest jego motywacja? Wiem, że ta strona zawiera pewne szczegóły, ale większość wyjaśnień przechodzi przez moją głowę. :) Chociaż ta strona jest trochę bardziej przyjazna, nadal nie jestem w stanie zrozumieć, jaka...
Czy ktoś mógłby mi wyjaśnić funkcjonalne soczewki? To zaskakująco trudny temat do wygooglowania i nie poczyniłem żadnych postępów. Wiem tylko, że zapewniają podobną funkcjonalność get / set niż w OO.
Biorąc pod uwagę dowolny typ kontenera, możemy utworzyć (skoncentrowany na elementach) Zipper i wiedzieć, że ta struktura jest Comonad. Zostało to niedawno zbadane ze wspaniałymi szczegółami w innym pytaniu o przepełnienie stosu dla następującego typu: data Bin a = Branch (Bin a) a (Bin a) |...