Re: [Caml-list] Polymorphism question

[Edgar Friendly <thelema314@gmail.com>]

On 05/01/2011 02:07 PM, Sen Horak wrote:
> Hi,
>
> I am trying to model a situation in which a caller calls a combination
> of two functions:
> let res_a = f inp_c inp_d in my_g res_a
>
> But it would be nice to hide 'a' from the caller and have her call:
> let res_b = f inp_c inp_d my_g
>
> I guess I could use functors, and configure a generic f with a
> particular type of g. Does that seem right, and if so could there be a
> simper or easier way?
Yes:
let f_simplified inp_c inp_d my_g = let res_a = f inp_c inp_d in my_g res_a

If you want, you can inline f_simplified into the original f, or use 
some sugar notation included in both batteries and core as:
let f_simplified c d g = f c d |> g

This is a straightforward application of higher order functions, where 
the function g is taken as a parameter of f_simplified and called from 
inside it.  The type of f_simplified is 'c -> 'd -> ('a -> 'b) -> 'b, 
showing the third parameter (g) has type ('a -> 'b).

If I were designing this, I'd have the caller use |> to convert the 
output instead of putting this in your function.

E.