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
Bignums by default?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 1996-04-15 (07:39)
From: John Harrison <jharriso@r...>
Subject: Bignums by default?

I find the infinite-precision type "big_int" (a special case of "num") very
useful. So much so that I'd really like this, rather than machine
arithmetic, to be the default with the friendly syntax. For my applications
(in theorem proving), the small loss in speed doesn't matter, whereas the
arbitrary range is important.

Is there a reasonably straightforward way of setting up CAML Light so that
bignums are used by default?



John Harrison                   | email: jharriso@abo.fi
Abo Akademi University          | web:   http://www.abo.fi/~jharriso/
Department of Computer Science  | phone: +358 (9)21 265-4049
Lemminkaisenkatu 14a            | fax:   +358 (9)21 265-4732
20520 Turku                     | home:  +358 (9)21 2316132
FINLAND                         | time:  UTC+2:00