monads

9Ciepło

1Odpowiedz

Dlaczego w tym przypadku nie musisz używać "windy" podczas interakcji z zagnieżdżoną StateT monadT?

Powiedzmy mam monadT: type Wrap a = ReaderT Env (StateT Int (StateT Int Identity)) a Ważne jest, aby pamiętać, jest to, że jeden StateT jest owijanie drugiego, a oba są owinięte wewnątrz trzeciego M

6Ciepło

1Odpowiedz

Konwertuj [IO Int] na IO [Int] w Haskell?

Mam ten kod, który pasuje moje potrzeby: f :: [IO Int] -> IO [Int] f [] = return [] f (x:xs) = do a <- x as <- f xs return (a:as) Ale thougth nie byłoby predefiniowane sposób (msum?

10Ciepło

2Odpowiedz

Karmienie jednowartościowy wyraz w chyba albo gdy

często znaleźć samodzielnie pisania kodu, który wygląda tak: import System.Directory (doesFileExist) import Control.Monad (unless) example = do fileExists <- doesFileExist "wombat.txt" un

18Ciepło

1Odpowiedz

Tłumaczenie suwaków Kiselyova z Idiomatycznej Scali?

Oleg Kiselyov showed how to make a zipper from any traversable za pomocą rozgraniczonych kontynuacji. Jego kod Haskella jest dość krótki: module ZipperTraversable where import qualified Data.Travers

11Ciepło

2Odpowiedz

Równoległa mapa monad w Haskell? Coś jak parMapM?

Poszukuję sposobu uruchomienia dwóch obliczeń równolegle w ST-Monadzie. Buduję raczej dużą tablicę (używając STUArray) i chciałbym to zrobić równolegle. tej pory znalazłem this i this Q & tutaj na sta

6Ciepło

1Odpowiedz

Tworzenie monady analogiczny do IO Monady ze stanu przykuty

Cześć ludzie, Jestem całkiem nowy, Haskell ponownie w tym roku (po użyciu go na początku lat 1990, a następnie ponownie na początku lat 00 '). Próbuję napisać kod, który wykorzystuje wzór, który jest

6Ciepło

2Odpowiedz

Może monada wewnątrz stosu transformatorów

Mam następujący kod: import Control.Monad import Control.Monad.Trans import Control.Monad.Trans.State type T = StateT Int IO Int someMaybe = Just 3 f :: T f = do x <- get val <- lif

10Ciepło

2Odpowiedz

Czy ktokolwiek przy użyciu programowania wiążą stylu jednowartościowy z oczekiwanymi <T>

(przede wszystkim „bind” w pytaniu nie ma nic wspólnego z std::bind) ja oglądałem Expected<T> talk i pomyślałem prezentację historii tego W technice brakowało głównej idei stojącej za tym zjawiskiem w

13Ciepło

3Odpowiedz

Jak wcześnie dokonać zwrotu bloku?

Próbuję zeskrobać stronę internetową za pomocą Haskella i skompilować wyniki w obiekcie. Jeśli z jakiegoś powodu nie mogę pobrać wszystkich elementów ze stron, chcę przerwać próbę przetworzenia strony

10Ciepło

1Odpowiedz

MonadFix w ścisłym języku

Pracuję nad rozszerzeniem camlp4 dla podobnej do notkacji do notacji w Ocaml i próbuję dowiedzieć się, w jaki sposób GHC kompiluje rekurencyjne powiązania do-zrobić (włączone z -XDoRec). Zastanawiam s