haskell

48Ciepło

2Odpowiedz

Testowanie działań IO za pomocą Monadic QuickCheck

Czy ktoś może podać krótki przykład testowania działań IO przy użyciu Monadic QuickCheck?

16Ciepło

3Odpowiedz

Studiuję bibliotekę mtl i próbuję zrobić własne MonadTransformatory. Sprawdzałem deklarację Control.Monad.State.StateT, a we wszystkich kodu, widzę tę składnię: execStateT :: (Monad m) => StateT s m a

6Ciepło

2Odpowiedz

Czy w Haskell można zdefiniować niestandardowy mechanizm ochronny?

Jeśli spojrzeć na przykład na catches: f = expr `catches` [Handler (\ (ex :: ArithException) -> handleArith ex), Handler (\ (ex :: IOException) -> handleIO ex)] Wygląda catches zdefiniowała

13Ciepło

2Odpowiedz

Jak przekonwertować Integer na ByteString w Haskell

Chcemy serializować dane w określonym formacie binarnym. Używamy wewnętrznie Data.ByteString s. Pytanie brzmi: jak przekonwertować różne typy danych, których używamy, na ByteString. Dla String nie mam

5Ciepło

2Odpowiedz

Jakie narzędzie jest najlepszym rozwiązaniem do debugowania gwintowanego Haskell dzisiaj?

Erlang ma swój wielo-procesowy debugger, który pozwala zobaczyć wszystkie twoje procesy. Coś podobnego w Haskell?

11Ciepło

3Odpowiedz

W jaki sposób dopasowujesz się do typu "A a b"?

Celem tej części kodu jest uczynienie funkcji size bardziej wydajną niż po prostu zliczanie wszystkich elementów w elems. Postanowiłem zsumować dwa typy, które tworzą listę, ale nie mogę stworzyć sygn

5Ciepło

1Odpowiedz

Odpowiednik Haskella dla C's __LINE__

Czy istnieje sposób na uzyskanie informacji o liczbie linii/śledzeniu w Haskell? (jak C na __LINE__ makro lub Pythona traceback.extract_stack()) To byłoby obsługi dla mnie za napisanie programu Haskel

8Ciepło

4Odpowiedz

Co oznacza symbol >> w Haskell

Czytałem Guestbook example dla Happstack i zauważyłem symbol >>, którego nie widziałem wcześniej w podręcznikach, których uczyłem się uczyć Haskella (na przykład patrz wiersz 23). Co to jest? Nie mogł

15Ciepło

3Odpowiedz

Używanie systemu typu Haskella do wymuszania modularności

Zastanawiam się nad sposobami wykorzystania systemu typu Haskella do wymuszenia modułowości w programie. Na przykład, jeśli mam aplikację internetową, jestem ciekawy, czy istnieje sposób na oddzieleni

8Ciepło

4Odpowiedz

Haskell - Przedefiniowanie (ukrywanie) operatorów arytmetycznych

Chcę przedefiniować kilka operatorów arytmetycznych w Haskell, aby uczynić je bardziej rozszerzalnymi i ogólnymi. E.g. class Mul a b c | a b -> c where (*) :: a -> b -> c Wydaje się, że działa