In einer früheren SO-Frage (Ist es möglich ?: Verhalten t [Verhalten t a] -> Verhalten t [a]) analysierten wir die Existenz von aBehavior join (benutzenreactive-banana Begriffe).

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

Implementiert im semantischen Modell wie folgt

type Behavior t a = t -> a

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

Eine direkte Implementierung wäre bedauerlich, da wir eineBehavior Monad mitconst undbehaviorNow, ob und wiebehaviorNow die Semantik von FRP verletzen?

Ich würde gerne Antworten hören, die die Terminologie eines anderen FRP-Systems verwenden, zusammen mit Vergleichen, wenn dies sinnvoll ist.