How to add () to function parameters
 Till Crueger
[
Home
]
[ Index:
by date

by threads
]
[ Message by date: previous  next ] [ Message in thread: previous  next ] [ Thread: previous  next ]
[ Message by date: previous  next ] [ Message in thread: previous  next ] [ Thread: previous  next ]
Date:   (:) 
From:  Till Crueger <Till.Crueger@g...> 
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. Thanks for your help, Till