Archives of the Caml mailing list > Message from Oliver Bandel

Browse thread

RE: [Caml-list] Turning off type-checking

Gregory Morrisett
- Francois Pottier
  - eijiro_sumii@a...
  - Alain Frisch
    - Christophe Raffalli
  - Markus Mottl
    - John Max Skaller
      - Markus Mottl
  - Oliver Bandel
    - malc

Date:	-- (:)
From:	Oliver Bandel <oliver@f...>
Subject:	Re: [Caml-list] Turning off type-checking



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?

Ciao,
   Oliver

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners