On 01/20/2012 10:11 AM, Jerome Vouillon wrote:
> And the parentheses can be avoided by using a right associative
> application operator:
>
>     let (@@) f x = f x
>     let a = maybe out o @@ maybe value v @@ []

Since the "%revapply" primitive is available in SVN 3.12 (next 3.12.2 or
3.13), you will be able to use "pipes", without the penalty of expensive
partial applications:

external ( |> ) : 'a -> ('a -> 'b) -> 'b = "%revapply"

let a = [] |> maybe value v |> maybe out o

I am wondering now if we should also provide the "%apply" primitive too,
to be able to choose the order...

--Fabrice