Version française
Home     About     Download     Resources     Contact us    

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

Browse thread
RE: [Caml-list] Turning off type-checking
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: malc <malc@p...>
Subject: Re: [Caml-list] Turning off type-checking
On Tue, 14 May 2002, Oliver Bandel wrote:

> On Tue, 14 May 2002, Francois Pottier wrote:
> [...]
> > O'Caml's type inference algorithm is sub-optimal for at least one
> > reason: it performs the occurs check at every unification step,
> > instead of delaying it until the current `let' binding is exited.
> Would it help to use the Lazy-module and rewrite some parts
> od the application that uses so much time, if written "unlazy"?
> BTW: When (in which kind of application) does the Lazy-module
>      really helps increasing performance?

The compiler itself uses Lazy in environment manager (typing/
Xavier et al can probably shed more light on benefits.


To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: