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
[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 <> 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?

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