Haskell - Czy deterministyczny porządek efektów w przypadku Wnioskodawcy?

Question

Podczas wykonywania akcji zamówienia reklamowego zdefiniowanej przez someFun <$> (a :: IO()) <$> (b :: IO()), jest wykonywane wykonanie akcji a i b? To znaczy, czy mogę liczyć na to, że a jest wykonywane przed b?

Dla GHC, widzę IO zaimplementowane przy użyciu stanu, a także zobacz here, że jest to instancja aplikacji, ale nie może znaleźć źródła deklaracji rzeczywistej instancji. Implementacja za pośrednictwem państwa sugeruje, że różne efekty IO muszą być sekwencyjne, ale nie jest konieczne określenie ich kolejności.

Zabawa w GHCi wydaje się, że Appliative zachowuje kolejność efektów, ale czy jest to jakaś gwarancja uniwersalna, czy GHC specyficzna? Byłbym zainteresowany szczegółami.

import System.Time 
import Control.Concurrent 
import Data.Traversable 
let prec (TOD a b) = b 
fmap (map prec) (sequenceA $ replicate 5 (threadDelay 1000 >> getClockTime)) 

[641934000000,642934000000,643934000000,644934000000,645934000000] 

Dzięki!

Answer 1

To na pewno deterministyczny, tak. Zawsze będzie to robić dla każdej konkretnej instancji. Jednak nie ma żadnego powodu, aby wybrać od lewej do prawej, od prawej do lewej, kolejność efektów.

Jednak z the documentation for Applicative:

Jeśli f również Monad, powinna ona spełniać pure = return i (<*>) = ap (co oznacza, że ​​pure i <*> spełniać ustawowe aplikacyjnych funktora).

Definicja ap jest to, ze Control.Monad:

ap :: (Monad m) => m (a -> b) -> m a -> m b 
ap = liftM2 id 

I liftM2 jest zdefiniowana w sposób oczywisty:

liftM2 f m1 m2 = do { x1 <- m1; x2 <- m2; return (f x1 x2) } 

Oznacza to, że dla dowolnego funktora, który jest a Monad, a także Applicative, oczekuje się (według specyfikacji, ponieważ nie można tego egzekwować w kodzie), że Applicative będzie działać od lewej do prawej, tak aby blok do w liftM2 wykonał to samo, co liftA2 f x y = f <$> x <*> y.

Z tego powodu, nawet dla Applicative wystąpień bez odpowiadającego Monad, zgodnie z konwencją, efekty są zwykle uporządkowane również od lewej do prawej.

Mówiąc szerzej, ponieważ struktura obliczeń Applicative jest koniecznie niezależna od "efektów", zwykle można analizować znaczenie programu niezależnie od tego, jak sekwencje są skutkami Applicative. Na przykład, jeśli instancja dla [] została zmieniona na sekwencję od prawej do lewej, dowolny kod użyłby tego samego wyniku, z elementami listy w innej kolejności.

Answer 2

Tak, kolejność jest wstępnie zdefiniowana przez korespondencję Monad-Applicative.Jest to łatwe do patrz: (*>) syntezatora musi odpowiadać (>>) combinator w grzeczne Applicative przykład dla monady, a jego definicja jest:

a *> b = liftA2 (const id) a b 

Innymi słowy, jeśli b były wykonywane przed a, instancja Applicative byłaby niepoprawna.

Edit: Na marginesie: to nie jest wyraźnie określona w dowolnym miejscu, ale można znaleźć wiele innych podobnych odpowiedniki jak liftM2 = liftA2 itp

Answer 3

Dla IO aplikacyjnych, to z pewnością przypadek. Ale sprawdź przykład async package dla przykładu aplikacji, w której w f <$> a <*> b efekty następują równolegle.