ghci

    6Ciepło

    2Odpowiedz

    Jak to wyliczenie rodzajów w Haskell

    Powiedzmy flip :: (a->b->c) ->b->a->c const ::d->e->d typ (odwrotną const) byłoby a=d,b=e,c=d w b->a->c więc rodzaj byłoby e->d->d Ale do startu (mapa) jego [Int]->[[a]]->[[a]] więc nie
    haskell types ghci 2013-05-19

    17Ciepło

    1Odpowiedz

    Szablon Haskell: reify w GHCi

    Czy można w jakiś sposób wykonać reify w GHCi? Kiedy próbuję użyć "runQ", narzeka "nie może dokonać rektyfikacji w Monadzie IO". >>> runQ (reify ''Bool) Template Haskell error: Can't do `reify' in th
    haskell ghci template-haskell 2013-05-22

    6Ciepło

    1Odpowiedz

    Wyjątek czasu wykonywania z Równoległym danymi Haskell/GHC 7.4.2

    Próbuję wykonać kilka prostych eksperymentów z uruchomieniem Haskella z danymi równoległymi, ale mam wyraźnie złe opcje. nawet, gdy próbuję coś bardzo prostego, jak sumP [:1.0,2.0:] uzyskać wyjątek
    haskell ghc ghci data-parallel-haskell 2013-02-22

    14Ciepło

    3Odpowiedz

    Znajdź wnioskowany typ dla funkcji lokalnej

    Czy istnieje sposób w ghci (lub ghc), aby znaleźć to, co wywodzi typ funkcji lokalnej? E.g. jeśli mam funkcji f l = map f' l where f' = (+1) istnieje :t -jak sposób ghci zobaczyć co wywnioskowa
    haskell type-inference ghci 2013-02-22

    8Ciepło

    1Odpowiedz

    W GHCi, czy mogę użyć wyniku poprzedniego wyrażenia?

    Robię trochę eksperymentów w GHCi i mam umiarkowanie długą działającą (5 minut) operację, którą próbuję dostroić. Wynik zaczyna drukować w trakcie i często mogę stwierdzić, że mój algorytm nie jest po
    haskell ghci 2013-06-06

    5Ciepło

    3Odpowiedz

    Użycie quickCheck

    Napisałem implementację dla foldl i chciałem sprawdzić, czy zadziałało, próbowałem niektórych przypadków i wygląda na to, że działa dobrze, ale chcę się upewnić. Czytałem o QuickCheck i próbował, ale
    haskell ghci fold quickcheck 2013-04-24

    11Ciepło

    3Odpowiedz

    Jak używać let in a do bloku w ghci?

    Próbuję utworzyć blok interaktywnie w ghci. Dopóki nie zdefiniować zmienną w bloku, jest w porządku: Prelude>let a = do putStrLn "test"; putStrLn "other test" Prelude> ale nie mogę dowiedzieć się,
    haskell ghci 2013-03-07

    8Ciepło

    2Odpowiedz

    import zakwalifikowany w GHCI

    Czy możliwe jest użycie ekwiwalentu "importuj kwalifikowany" w GHCI z naszym modułem WŁASNYM? Coś takiego jak :m + qualified Data.List, co oczywiście nie działa. Dzięki.
    haskell ghci 2013-06-23

    7Ciepło

    2Odpowiedz

    Dlaczego zmiana podpisu po cesji

    zabawy w ghci mam następujący wyraz: unlines . map (\(a,b) -> show a ++ " " ++ show b) Teraz, kiedy to sprawdzić poprzez :t uzyskać: > :t unlines . map (\(a,b) -> show a ++ " " ++ show b) unlines . m
    haskell ghci 2013-03-16

    8Ciepło

    1Odpowiedz

    Testowanie kodu FFI (z "importem zagranicznym") z GHCi

    Dobrze (twoja lokalna pora dnia), wszyscy. Przeszedłem przez Real World Haskell's chapter w interfejsie funkcji zagranicznej, i zrobiłem kilka następnych odczytów here. Eksperymentuję teraz z wiązanie
    haskell ffi ghci 2013-03-28
Ostatnie pytanie