Structuring FRP (specifically Note) applications

[dbuenzli]

@dbuenzli

val S.delay : 'a -> 'a t Lazy.t -> 'a t

let rec state =
  let next = lazy (S.accum (S.value state) update) in
  S.delay initial_state next

In fact that looks wrong, it won’t pass the statically constructive test :–)