2013/3/8 Lukasz Stafiniak <lukstafi@gmail.com>

>
>
>
> On Fri, Mar 8, 2013 at 10:43 AM, Philippe Veber <philippe.veber@gmail.com>wrote:
>
>> Dear functional-reactive camlers,
>>
>> In order to change the dependencies between signals dynamically, one can
>> use the switch function whose type is:
>>
>> utop $ React.S.switch;;
>> - : ?eq:('a -> 'a -> bool) -> 'a React.signal -> 'a React.signal
>> React.event -> 'a React.signal = <fun>
>>
>> However I often find myself wanting to write signals of signals, and I
>> wrote the following definition to cope with them:
>>
>> val bind_s : 'a React.signal -> ('a -> 'b React.signal) -> 'b
>
>
> "Bind" is the basic building block of the Froc library:
>
> val bind :
>   ?eq:('a -> 'a -> bool) ->
>   'b Froc.behavior ->
>   ('b -> 'a Froc.behavior) -> 'a Froc.behavior
>
>  I know I'm not answering your question...
>

You do, at least partially:  now I know this style is natural at least in
one FRP library. Too bad it's not the one I use :o).