English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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: 2002-05-13 (13:31)
From: Markus Mottl <markus@o...>
Subject: [Caml-list] Turning off type-checking

people have always kept telling me that I have perverse needs, but that's
the way it is: I (ab)use OCaml for interpreting models learnt by a machine
learning system. The problem is that such models may require hundreds
of thousand lines of OCaml-code including absolutely mad amounts of
pattern-matches on and constructions of values of sum- and product type.

Needless to say that I get into trouble when I actually want to interpret
or compile these models to evaluate them on new data. Type checking just
takes an awful amount of time, in fact much longer than the learning
algorithm needs for model generation...

It would be really nice if there were some command-line flag for the
OCaml-compilers which turns off every check that is not required under the
assumption that the given OCaml-code is (type) correct as is guaranteed in
my case. Would this be easily possible? What else could I do to reduce the
amount of work the OCaml-compiler has to do? Insert Obj.magic everywhere?

Best regards,

Markus Mottl                                             markus@oefai.at
Austrian Research Institute
for Artificial Intelligence                  http://www.oefai.at/~markus
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