Re: [Caml-list] Writing Awk in OCaml

[Michael <michipili@gmail.com>]

Hello Xavier,

Xavier Leroy wrote:
> On 2013-07-28 10:43, Michael wrote:
>> With the above signature, we can write (1)
>>
>> bind u f1: row -> state -> stat
>> bind (bind v f1) f2 : row -> state -> stat
>>
>> But it would be quite nice to be able to write the following expressions so
>> that they are defined and correctly type (2):
>>
>> bind u f1 : row -> state -> state
>> bind v f1 f2 : row -> state -> state
>>
>> Is there any way to rewrite things so that the cumbersome (1) can be replaced
>> by the slick (2) ?
> Just use a left-associative infix symbol for "bind", it will be real slick:
>
>     let (++) = bind
>
>     v ++ f1 ++ f2     (* i.e. bind (bind  v f1) f2  *)
>
> Hope this helps,
>
thank you very much for your answer, it is nearly perfect!  It has
however a drawback: I thought I had found a plausible alibi to learn how
to produce and use these strange variadics!  It looks like I have to
find something else. :)

Best regards,
Michael