Unknown | 2 Feb 13:22 2003

BigNums in Caml Light 0.5

You want to implement bigfloats but you seems to mix big integers
features (Fibonacci numbers, fact, mod and gcd) with really floating
point/real features (sqrt, exp, log, trig functions).

It is classical to work in a 2^b-basis (generally b=32). It costs more
to read or write a number but pure computation is much faster.

Here is some bibliography references which may interest you even if
they refer essentially to classical limited floating point numbers:

  David Goldberg "What every computer scientist should know about
  floating point arithmetic", Computing Surveys, 23 (1), March 1991.

  In proceedings of SIGPLAN '90 PLDI, there are two papers by Clinger,
  Steele and another one about how to read and write floating point
  numbers accurately

Otherwise, there exist arbitrarily large rational numbers in Caml V3.1
(the strong version on Unix) (numerator and denominator with less than
79803 decimal digits) with exact computation. In the other hand, we
have only built-in floating point numbers. It will be intesting to
have arbitrary large floating point numbers arithmetic . Furthermore,
it will be interesting to extend rational arithmetic to transcendantal
functions with the required precision as additional argument. 

------------------- Vale'rie ME'NISSIER - MORAIN -----------------------------
INRIA Projet Formel			        Tel: (33 1) (16 1) 39 63 55 98
Domaine de Voluceau		                Fax: (33 1) (16 1) 39 63 53 30
78153 Rocquencourt			     e-mail: menissie <at> margaux.inria.fr
BP 105
(Continue reading)

Gerard.Becher | 2 Feb 13:22 2003
Picon

Installation CAML (strong) sous VMS

Est-il possible de disposer de CAML (strong) sous VMS ?
Si oui, quelqu'un qui aurait deja realise' cette installation peut-il
laisser ses coordonne'es pour le cas ou nous aurions des problemes a
l'installation. 
Merci d'avance.

[ Note du mode'rateur:
  La version ante'rieure de Caml (strong) tourne sous VMS au cnam
  Paris depuis plusieurs anne'es. A l'e'poque j'avais donne' un coup
  de main e'nergique au portage. Je ne sais pas si la nouvelle version
  a e'te' e'galement porte'e. D'expe'rience je sais que ce n'est pas
  tre`s difficile, surtout si l'on re'cupe`re le code d'interfacage
  avec le syste`me qui avait e'te' e'crit pour l'ancienne version.
  Les gens du CNAM de Paris peuvent-ils dire ou` l'on en est pour le
  portage de Caml V3.1 sur VMS ? Y-a-t-il quelquechose en route ou en
  projet ?
  S'il y a un volontaire, je suis pre^t a` mettre la main a` la pa^te.
  Pierre Weis
  ----------------------------------------------------------------------------
  Formel Project
  INRIA, BP 105, F-78153 Le Chesnay Cedex (France)
  E-mail: Pierre.Weis <at> inria.fr
  Telephone: +33 1 39 63 55 98
  ----------------------------------------------------------------------------
]

Unknown | 2 Feb 13:23 2003

docs in ascii?

The documentation of the arithmetic of CAML V3.1 is disponible online.

VMM.

------------------- Vale'rie ME'NISSIER - MORAIN -----------------------------
INRIA Projet Formel			        Tel: (33 1) (16 1) 39 63 55 98
Domaine de Voluceau		                Fax: (33 1) (16 1) 39 63 53 30
78153 Rocquencourt			    e-mail: Valerie.Menissier <at> inria.fr
BP 105
------------------------------------------------------------------------------

Vale'rie Me'nissier-Morain | 2 Feb 13:23 2003
Picon
Picon

caml.el

Here is a preceding message about caml.el in the caml-list:

From: Xavier Leroy <xleroy <at> pomerol>
Subject: Re: Emacs support for camllight

This caml-mode provides the correct syntax-table definitions for Caml,
and the ability to run a Caml Light toplevel as a subprocess. The
auto-indenting facility is, uh, simplistic: pressing TAB indents the
line like the line above.  It would be great to have a more clever
automatic indentation, but the Caml syntax doesn't lend itself well to
the kind of lexical-based pretty-printing that's typical of language
modes in Emacs. If anybody comes up with something better, please let
us know.

- Xavier

------------------------ caml.el ------------------------------

;;; CAML mode for GNU Emacs

(defvar caml-mode-syntax-table nil
  "Syntax table in use in CAML-mode buffers.")

(defvar caml-mode-map nil
  "Keymap used in CAML mode.")

(if caml-mode-syntax-table ()
  (setq caml-mode-syntax-table (make-syntax-table))
  (modify-syntax-entry ?\( "()1" caml-mode-syntax-table)
  (modify-syntax-entry ?* ". 23" caml-mode-syntax-table)
(Continue reading)

CALLADINE Pierre | 2 Feb 13:26 2003
Picon

boolean operators


      Is there a deep (or theoretical) reason for the particular status of boolean 
  operators as "&" and "or"  ( "prefix &" is not valid, for instance ?)

--

-- 
Pierre Calladine
Universite de Poitiers -        e-mail : calla <at> matpts.univ-poitiers.fr
Dept. Informatique		Tel: 49 45 37 01
40 Avenue du Recteur Pineau     Fax  49 45 40 10
86022 Poitiers Cedex     

Hubert Canon | 2 Feb 13:36 2003
Picon

Re: arity of type constructors

> # type t = T of int * int;;
> type t = | T of int * int
> # T(3,4);;

I do not understand why we don't use another syntax for constructors :

If we had something like :
# T 3 4;;
- : t = (T 3 4)

it would be less confusing.

--

-- 
Hubert Canon

Pierre Saunier | 2 Feb 13:42 2003
Picon

Re: Utilisation de Camlwin avec CamlLight 0.73 ?

Bonjour,

sous Unix, ca passe sans probleme avec la version 0.7.
sous dos, caml 0.6 a ete recompile avec Watcom C/C++, et suivi de quelques 
modifications pour integrer le mode graphique dans le noyeau (il n'y a 
pas d'option custom sous dos, par manque de standard au sein des 
compilateurs C).
Malheureusement, il n'y a pas eu de version watcom de caml 0.7.
je n'ai donc pas pu faire les modifications correspondantes dans la 
version 0.7, desole.

je ne vois pas de solution, a moins que l'option de compilation custom ait ete 
integree depuis.

pierre Saunier

forsyth | 2 Feb 14:32 2003
Picon
Picon

Re: callcc/cps-style programming

Ousterhout's paper on the dangers of threading was remarkable
for failing even to mention years of research by Hoare and Milner
(amongst others) into much better ways of programming concurrent
applications than either 1960s style wait/notify style or 1970s monitors.
occam, Erlang and others applied the new techniques quite successfully.
Of course, the whole point of developing the techniques was to
address the problems listed in Ousterhout's paper!

>>Period.  But user-level threads, implemented in the language, don't
>>give you much value.  Much better to do some sort of explicit (perhaps
>>semi-automated) CPS-conversion, and use an event-dispatcher.

One reason for using them (and concurrent programming) is
simpler and clearer programs than the rats' nest that often
results from call backs and other attempts to emulate proper processes.

kyle.pierce | 2 Feb 15:01 2003
Picon

Making camlidl

Hello,

One of my first experiments with OCaml has been to try and build the camlidl 
utility (version 1.01) to help me build a library with OCaml and then call it 
from a C++ executable.  I'm in a Windows 2000 environment, but no COM features 
are needed, I just want the glue code for integrating with C/C++.

However, I am having a terrible time getting camlidl built.  I have GNU make 
and the cygwin utilities installed, as suggested in the readme file.  I cannot 
get beyond the various problems I'm having with this.  Would I have to actually 
do the build entirely within the cygwin environment, using bash?  Or what?  I 
would be grateful for any suggestions.

Alternatively, has anyone built a native code camlidl.exe that you would be 
willing to share?  Or for that matter, a bytecode version?

Thanks,

Kyle Pierce

---------------------------------------------
This message was sent using Endymion MailMan.
http://www.endymion.com/products/mailman/

-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request <at> inria.fr  Archives: http://caml.inria.fr

kyle.pierce | 2 Feb 15:01 2003
Picon

Re: Making camlidl

A slight clarification to my earlier post...

> However, I am having a terrible time getting camlidl built.  I have GNU make 
> and the cygwin utilities installed, as suggested in the readme file. I cannot 
> get beyond the various problems I'm having with this.  Would I have to 
> do the build entirely within the cygwin environment, using bash?  Or what?  I 
> would be grateful for any suggestions.

I am using the native Win32 port of OCaml, not Cygwin.  I plan to work in the 
native Win32 environment (since I don't have a Linux box), and I am using the 
wxWindows library with Visual C++ for GUI front-end coding.

Since camlidl is at least in part a Windows-oriented utility, my expectation 
was that I would not have to make it from a bash console.  I simply don't have 
much experience with bash.  Any pointers?

Thanks,

Kyle Pierce

---------------------------------------------
This message was sent using Endymion MailMan.
http://www.endymion.com/products/mailman/

-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request <at> inria.fr  Archives: http://caml.inria.fr


Gmane