* Bignums by default?
@ 1996-04-12 18:33 John Harrison
0 siblings, 0 replies; only message in thread
From: John Harrison @ 1996-04-12 18:33 UTC (permalink / raw)
To: caml-list; +Cc: John Harrison
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?
Cheers,
John.
=========================================================================
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
=========================================================================
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~1996-04-15 7:39 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1996-04-12 18:33 Bignums by default? John Harrison
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox