haskell

8Ciepło

1Odpowiedz

W GHCi, jaka jest różnica między ": module" i "import"?

W GHCi, pojawiają się dwa sposoby obejmują zainstalowanych modułów: Prelude> :module Database.HDBC Prelude Database.HDBC> i Prelude> import Database.HDBC Prelude Database.HDBC> Czy jest jakaś ró

5Ciepło

1Odpowiedz

Jak działa `get` w wersji CPS monady State?

Próbuję zrozumieć kontynuację ogólnie po tym tutorial. Jednak mam trudności zrozumieć poniższy przykład w rozdziale 2.10: # let get() = shift (fun k -> fun state -> k state state) ;; get : unit

6Ciepło

3Odpowiedz

Haskell: Zastosowanie funkcji do wszystkich kombinacji argumentów

Zamieszczam poniżej pewien kod w Haskell. Proszę traktować kod jako przykład, który zamierzam wykorzystać, aby wyjaśnić, co chciałbym wiedzieć. try :: [[Char]] -> [[Char]] -> [[Char]] -> [[Char]] try

9Ciepło

2Odpowiedz

Przechodzenie przez ostatni element "przefiltrowanego"

Szukam filtru przejścia, a następnie wybierz ostatni element do użycia z over. np. coś w tym stylu (ale które faktycznie się skompiluje): [1,2,3,4] & traverse . filtered even . _last +~ 10 > [1,2,3,1

5Ciepło

1Odpowiedz

Optymalizacja pamięci w Haskell, rurkach, attoparsec i kontenerach

Próbuję dalej optymalizować mój parser i magazyn storage-attoparsec, ale mam problem z obniżeniem zużycia pamięci. danego rachunku-parser.hs {-# LANGUAGE RankNTypes #-} {-# LANGUAGE OverloadedStrings

7Ciepło

2Odpowiedz

Haskell rzadki wzór dopasowania

Dobrym przyjacielem raz pokazał mi ten rzadki zachowanie dopasowywania wzorców w Haskell [email protected]"Hello" = s Wynikiem jest: >s >" Zaczyna wydrukować String ale nigdy Kończy się, co się d

10Ciepło

3Odpowiedz

Zrozumienie Operatora obsady Haskella

Załóżmy, że zaimportowaliśmy Data.Typeable, który zawiera cast :: (Typeable a, Typeable b) -> a -> Maybe b. Uważają, że > cast 'n' :: Maybe Char Just 'n' jeszcze > cast 7 :: Maybe Char Nothing R

8Ciepło

3Odpowiedz

Pokazywanie, że `nowy typ T a = T (a -> Int)` jest konstruktorem typów, który nie jest funktorem

Twierdzono, że newtype T a = T (a -> Int) jest konstruktorem typu, który nie jest funktorem (ale jest przeciwwariantowym funktorem). Jak to? Albo co to jest contravariant functor (skąd zakładam, że bę

8Ciepło

2Odpowiedz

Czy to możliwe (Alternatywne f, Składane f) => Monad f?

Poniższe typechecks: instance (Applicative f, Alternative f, Foldable f) => Monad f where (>>=) = flip $ \f -> foldr (<|>) empty . fmap f -- Or equivalently a >>= b = getAlt . foldMap A

5Ciepło

1Odpowiedz

Terminal jako przezroczysta tapeta w Xmonad

Niedawno przełączyłem się na xmonad i próbuję to trochę poprawić. Chciałbym ustawić terminal jako przezroczyste tło (https://wiki.archlinux.org/index.php/Terminal_as_a_transparent_wallpaper). Zasadnic