Jak przekształcać zdarzenia za pomocą funkcji IO?

Question

Powiedzmy mam

e1 :: Event t A 
f :: A -> IO B 

Chcę utworzyć

e2 :: Event t B 

który jest wyzwalany przez e1, i których wartości są określane przez wykonanie f od wartości e1 w momencie wystąpienia zdarzenia .

Widzę dwa potencjalne sposoby, aby to zrobić, poprzez dynamiczne przełączanie zdarzeń i używanie procedur obsługi, ale oba wydają się zbyt skomplikowane dla tak prostej rzeczy.

Jaki jest właściwy sposób na zrobienie tego?

Answer 1

Ponieważ funkcja f ma efekt uboczny, w rzeczywistości nie jest to proste. Głównym powodem jest to, że kolejność efektów ubocznych nie jest dobrze zdefiniowana, gdy występuje wiele jednoczesnych zdarzeń. Ogólnie rzecz biorąc, nie byłem w stanie wyobrazić sobie dobrej semantyki do radzenia sobie z działaniami IO w wydarzeniach. W konsekwencji, reaktywny-banan nie zapewnia czystego kombinatora dla tej sytuacji.

Jeśli jednak chcesz to zrobić, musisz użyć bardziej rozbudowanego mechanizmu, który określa kolejność efektów ubocznych. Na przykład, można użyć reactimate i napisać COMBINATOR

mapIO :: Frameworks t => (a -> IO b) -> Event t a -> Moment t (Event t b) 
mapIO f e1 = do 
    (e2, fire2) <- liftIO newAddHandler 
    reactimate $ (\x -> f x >>= fire2) <$> e1 
    fromAddHandler e2 

Należy jednak pamiętać, że może to dać nieoczekiwane rezultaty w przypadku wyników e2 nie jest już równoczesny ze zdarzeniem wejściowym e1. Na przykład zachowanie mogło się zmienić i inne efekty uboczne mogły zostać wykonane.

Answer 2

Czy można wywołać funkcję f w reactimate (która, o ile rozumiem, jest "właściwą metodą" do obsługi IO z sieci zdarzeń)? Następnie wystrzel nowe zdarzenie typu Event t B do sieci zdarzeń. A może chodziło Ci o "używanie funkcji obsługi"?