재귀 적으로 바나나 동작을 구현하는 방법은 재귀 적으로 달라집니다.

Question

나는 행동 값과 행동의 현재 값에 따라 값을 바꾸고 싶은 행동이있다. 아래 예제에서는 부울 동작이 True인지 False인지에 따라 업데이트되는 두 개의 카운터가 있습니다. 이 코드가 <<loop>> 예외로 인해 충돌하지만 작동하도록 구조 조정하는 방법이나이 문제에 접근하는 방법을 잘 모르겠습니다.

{-# LANGUAGE ScopedTypeVariables #-} 

import Reactive.Banana 
import Reactive.Banana.Frameworks 

import Control.Arrow 
import Control.Concurrent 
import Control.Monad 
import Control.Monad.Fix 

counter :: Bool -> Event t Int -> Behavior t Bool -> (Behavior t Int, Event t (Bool -> Bool)) 
counter b input active = (result, whenE ((b/=) <$> active) (fmap (const not) input)) 
    where result = accumB 0 (fmap (+) evt') 
      evt' = whenE ((b==) <$> active) input 

alternater :: Event t Int -> Behavior t Bool -> (Behavior t (Bool, (Int, Int)), Event t (Bool -> Bool)) 
alternater input active = ((,) <$> active <*> ((,) <$> fst t1 <*> fst t2), snd t1 `union` snd t2) 
    where t1 = counter True input active 
      t2 = counter False input active 

main :: IO() 
main = do 
    (inputHandler, fireInput) <- newAddHandler 
    let network :: forall t . Frameworks t => Moment t() 
     network = do 
      eInput <- fromAddHandler inputHandler 
      let ui :: Behavior t (Bool, (Int, Int)) -> Moment t (Behavior t (Bool, (Int, Int))) 
       ui b = do 
        let (behavior, evt) = alternater eInput (fst <$> b) 
        return $ stepper id (fmap (***id) evt) <*> behavior 
      output <- changes =<< mfix ui 
      reactimate $ putStrLn . show <$> output 
    forkIO $ actuate =<< compile network 
    forever $ getLine >>= fireInput . read 

Answer 1

예외는 정확합니다. 동작 자체를 직접 정의하고 있습니다.

alternater .. active = (.. <$> active <*> .. , ..) 
ui b = do 
    let (behavior, ..) = alternater .. (.. <$> b) 
    return $ .. <*> behavior 

... mfix ui 

이 코드 ui의 결과 거동의 현재 값은 원형 방식 자체에 달려 있다는 것을 의미한다.

재귀는 항상 잘 정의되기 위해 약간의 지연이 필요합니다. 이를 수행하는 가장 편리한 방법은 이벤트와 stepper 또는 accumB으로 빌드 된 동작 간의 상호 재귀를 사용하는 것입니다. this answer도 참조하십시오.