В предыдущем вопросе (Возможно ли это ?: Поведение t [Поведение t a] -> Поведение т [а]) мы анализировали существованиеBehavior join (использоватьreactive-banana термины).

Behavior t (Behavior t a) -> Behavior t a

Реализовано в семантической модели следующим образом

type Behavior t a = t -> a

behaviorNow :: Behavior t (Behavior t a) -> Behavior t a
behaviorNow f t = f t t

Осуществлять это напрямую было бы неудачно, так как мы могли быBehavior Monad с помощьюconst а такжеbehaviorNowесли и какbehaviorNow нарушать семантику FRP? I '

Я хотел бы услышать ответы, используя терминологию любой другой системы FRP, а также сравнения, если они значимы.