Re: Musings on RxAda

[Hadrien Grasland <hadrien.grasland@gmail.com>]

Reading through my post again, I should 1/Apologize for the missing words here and there and 2/Point out that my implementation of Observable is mostly synchronous, because all the costly mapping work occurs within the accept rendezvous.

To make an asynchronous Observer would require quite a couple more tweaks, allowing the Observer task to save its entry parameters and use them once the computation is over. In particular, the output channel should be passed by access, rather than by in out value.

This does not, however, void my core point that Ada's accessibility rules would end up getting in our way if we wanted to implement something like ReactiveX for Ada.