This site is updated infrequently. For up-to-date information, please visit the new OCaml website at ocaml.org.

How to add () to function parameters
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
 Date: 2009-10-14 (10:40) From: Till Crueger Subject: How to add () to function parameters
```Hi,

I am looking for a way to add a unit parameter to a function that takes an
arbitrary number of parameters. If the number of parameters is known this
is fairly easy and I can just do:

let lift1 f a =
fun () ->
f a;;

let lift2 f a b =
fun () ->
f a b;;

(all these create one closure per lifting)
etc...

However it is a bit of a hassle to have to code each of these lifts... So
what I am looking for is a way to extend this pattern to all numbers. So
far I got to the point that I can do the following:

let lift_once f a =
fun () ->
f a;;

let lift_more f a =
fun () ->
f () a;;

So for a function f taking two parameters a and b I can do

lift_more (lift_once f a) b
(two closures created)

and for a function taking the parameters a, b and c I can do

lift_more (lift_more (lift_once f a) b) c
(three closures created)

to get the lifted functions.

However this solution gets quite ugly with all the parentheses. Also there
are a lot of closures being produced and evaluated for any single lifting.
I had a look at the Jane Street blog post about variable argument
functions (http://ocaml.janestcapital.com/?q=node/22), which seems to do
similar things. However I have never been really good with CPS, so I don't
know if those techniques can be applied to this problem.

Is there any way to do this, which does not get this ugly. Also the
resulting lifted function should not contain too many closures.