Re: [Caml-list] [CAML liist] :: how to reduce depply recursive ocaml program's memory usage

[Goswin von Brederlow <goswin-v-b@web.de>]

On Sat, Apr 06, 2013 at 03:59:21PM +0800, ?????? wrote:
> Dear all:
> 
> 
> I have a deeply recursive ocaml program in the following way:
> 
> 
> method A begin
> calling B
> end
> 
> 
> method B begin 
> calling A
> end
> 
> 
> 
> 
> in A and B, there are lots of local let bindings liek:
> 
> 
> let c=... in
> let d=f(c)
> 
> 
> so by changing it to
> 
> 
> let d= begin
>  let c = ... in
>  f(c)
> end
> 
> 
> can I reduce the memory usage?

I don't know. Can you? Why don't you just test this?

I'm not sure how much ocaml analyses the lifetime of a variable so
explicitly limiting it might help.


But what helps a lot more is making the recursive calls tail
recursive. That way only the variables of the current function remain
alive and you will have a constant memory footprint no matter how deep
the recursion.

MfG
	Goswin