English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    
Browse thread
[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: John Prevost <visigoth@c...>
Subject: Re: [Caml-list] Turning off type-checking
>>>>> "mm" == Markus Mottl <markus@oefai.at> writes:

    mm> I don't think that I really hit the exponential wall anywhere
    mm> so it's probably just that type-checking takes much longer
    mm> than I had expected.  Well, I can live with it...

Note that it's not type-checking that's painful so much as type
reconstruction.  If it were possible to provide O'Caml with an
explicitly typed representation, simply checking the types should be
quite easy.  (Is it well typed?  Is it not well typed?)  Type
reconstruction, on the other hand, requires term unification and the
like, and takes a bit more effort.

How hard would it be (probably difficult) to expose an explicitly
typed layer from the system for automatic code generators?

John.
-------------------
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