haskell

8Ciepło

1Odpowiedz

Czy mogę poprosić GHC o zaimportowanie Debug.Trace dla każdego modułu podczas programowania?

Tytuł jest dość oczywisty. Często dodajemy ślady podczas debugowania, co wymaga dodania importu Debug.Trace. Jednak równie często zapominam o usuwaniu tych, kiedy skończę. Chciałbym użyć przełącznika

5Ciepło

1Odpowiedz

aplikacyjnych instancja listy przebiega zawsze w teście prawa kompozycja z QuickCheck/Warcaby

Chcę realizować regularne aplikacyjny instancję dla list, używając mojego customly zdefiniowaną listę: import Control.Monad import Test.QuickCheck import Test.QuickCheck.Checkers import Test.Quick

11Ciepło

2Odpowiedz

Dobra komutacyjne dla operatorów Haskell?

Czy istnieje sposób na stwierdzenie, że operator jest przemienny, tak że nie muszę podawać identycznych definicji dla obu kierunków? Na przykład: data Nat = Zero | Succ Nat (+) :: Nat -> Nat -> Nat

7Ciepło

1Odpowiedz

Rodzaj bezpieczne wyszukiwanie na heterogenicznych list w Haskell

Chcę rozwijać funkcję typu bezpieczny odnośników dla następującego typu danych: data Attr (xs :: [(Symbol,*)]) where Nil :: Attr '[] (:*) :: KnownSymbol s => (Proxy s, t) -> Attr xs -> Attr

5Ciepło

2Odpowiedz

Kombajny funkcji do funkcji, która zwraca krotki

Czy istnieje funkcja w Haskell standardowej biblioteki, która zajmuje dwie funkcje i zwraca funkcję, która zwróci wyniki obu tych funkcji w krotki, coś takiego: (><) :: (a -> b) -> (a -> c) -> a -> (b

8Ciepło

2Odpowiedz

Jak wyzwolić błąd dopasowania wzorca rodziny typów w programie Haskell?

Czy Haskell jest w stanie wskazać błąd dopasowania rodziny typów? Na przykład za pomocą zamkniętego rodzinę typ: type family Testf a where Testf Char = IO() Testf String = IO() Rodzaj Test

6Ciepło

1Odpowiedz

W jaki sposób foldMap może zrobić to samo, co foldr, gdy ta ostatnia nie ma nic wspólnego z monoidami?

foldr i foldMap mogą być używane do definiowania siebie tak, jak rozumiem. Ale jak to jest możliwe, ponieważ ten drugi używa monoidów, podczas gdy ten pierwszy nie? Czy mamy jakieś gwarancje, że rzecz

5Ciepło

1Odpowiedz

Fast Pollard Rho factorization w Haskell

Próbuję wdrożyć metodę faktoryzacji Pollard Rho w Haskell. Oto co mi przyszło do func :: Int -> Int -> Int func x n = mod (x * x - 1) n pollardStep :: Int -> Int -> Int -> Int -> Int -> Int pollar

8Ciepło

2Odpowiedz

Data.ByteString.Lazy.Internal.ByteString na ciąg?

Próbujesz napisać moduł, który zwraca zewnętrzny adres IP mojego komputera. Funkcja, a następnie zastosowanie soczewki w celu uzyskania responseBody, typ I kończy się z Data.ByteString.Lazy.Internal.B

5Ciepło

3Odpowiedz

Funktory w Javie

Próbuję zdefiniować klasy w Javie, które są podobne do funktorów Haskella. Niniejszym, funktorem jest zdefiniowany jako: /** * Programming languages allow only (just simply enough) endofunctor, that