headers
Jacques Garrigue | 1 Oct 1996 09:25
Picon

O'Labl/LablTk/LablBrowser/OCamlBrowser version 1.02


This is mainly a compatibility release, made necessary by O'Caml 1.02.

Changes:
--------
In O'Labl:
* bug fixes (matching of variants, typing of classes with labels)
* variants may now be recursive

In LablTk:
* compiles with tcl7.4/tk4.0 and tcl7.4/tk4.1
* added grid placement module

In LablBrowser:
* bug fixes, small UI enhancements

	*	*	*

Nouvelles versions de O'Labl/LablTk/LablBrowser/OCamlBrowser
disponibles. Il s'agit principalement d'etre compatible avec O'Caml
1.02, mais de nombreuses erreurs/malfonctions sont corrigees.

Access:
-------
	http://wwwfun.kurims.kyoto-u.ac.jp/soft/
	ftp://ftp.kurims.kyoto-u.ac.jp/pub/lang/olabl

---------------------------------------------------------------------------
Jacques Garrigue	Kyoto University      garrigue <at> kurims.kyoto-u.ac.jp
     <A HREF="http://wwwfun.kurims.kyoto-u.ac.jp/~garrigue/">JG</A>
(Continue reading)

Permalink | Reply | 0 comments |
headers
Utilisateur FNET | 4 Oct 1996 17:32
Picon

Functorized stdlib ???


961004
(* ========================================================================= *)
Here is a suggestion about the standard ocaml library Hashtbl.

This module is very useful but it happens to uses the polymorphic
equality ( = ) : 'a -> 'a -> bool.

Unfortunately, there are cases where you want a hash-table with another
equality predicate, for example you might want physical equality ( == ).

This is precisely what functors are for !

Here is first a short example building a min function from an order
(the order is possibly polymorphic)

(* ========================================================================= *)
(* short_example.ml *)
(* ========================================================================= *)
module type ORDER =
sig
   type 'a t
   val ( <= ) : 'a t -> 'a t -> bool
end

module Min (Order : ORDER) =
struct
   let min x y = if (Order.( <= ) x y) then x else y
end
(Continue reading)

Permalink | Reply | 1 comment |
headers
Utilisateur FNET | 4 Oct 1996 17:33
Picon

ocamlc syntax and -i option


961004
(* ========================================================================= *)
Hi caml community,

Here are a few suggestions about ocaml, all opinions are welcome.

Thierry Bravier
Dassault Aviation.
DGT / DTN / ELO / EAV
78, Quai Marcel Dassault
F-92214 Saint-Cloud Cedex
France

Telephone : (33) 01 47 11 53 07
Telecopie : (33) 01 47 11 52 83
E-Mail :    bravier <at> dassault-avion.fr

===============================================================================
INFIX OPERATORS :
=================
Can `Foo.( + )' be used as an infix operator ?

# Pervasives.(+) 1 2;;
- : int = 3
# 1 Pervasives.+ 2;;
Syntax error

A prefix usage is available but a prefix usage would really be great
otherwise you'd have to open all module defining prefix operators.
(Continue reading)

Permalink | Reply | 0 comments |
headers
Jacques GARRIGUE | 7 Oct 1996 10:34
Picon
Picon

Re: Functorized stdlib ???


>>>>>  <bravier <at> dassault-avion.fr> writes:

 > Here is a suggestion about the standard ocaml library Hashtbl.

 > This module is very useful but it happens to uses the polymorphic
 > equality ( = ) : 'a -> 'a -> bool.

 > Unfortunately, there are cases where you want a hash-table with another
 > equality predicate, for example you might want physical equality ( == ).

 > This is precisely what functors are for !

I have a doubt about the need for modifying specifically Hashtbl for
that.  In fact, there is already a Map module for that. The fact you
have to define a C function (to be efficient) limits the variants you
may have with your functor anyway.

But the general parameterizing problem you expose is interesting.

 > It seems to me that functors and polymorphism might/should go together well.

 > At any rate I would like a way to conceive modules and functors that
 > do not forbid polymorphism because, if you look at the short example :

 > module type ORDER =
 > sig
 >    type 'a t
 >    val ( <= ) : 'a t -> 'a t -> bool
 > end
(Continue reading)

Permalink | Reply | 0 comments |
headers
Christine Paulin | 6 Oct 1996 17:38
Picon
Picon

ocaml-tex ?


Bonjour,

Je ne trouve pas dans la distribution trace d'un outil analogue a 
caml-tex compatible avec ocaml. Une modification naive du scrip caml-tex
ne semble pas suffisante.
Quelqu'un s'est-il penche sur ce probleme ?
Merci d'avance.
Christine Paulin.
Permalink | Reply | 1 comment |
headers
Prof.Dr.J.Wolff v. Gudenberg | 7 Oct 1996 14:18
Picon
Favicon

New Introductory book (in German) using Caml light


Algorithmen -- Datenstrukturen -- Funktionale Programmierung -
 Eine praktische     Einf|hrung mit Caml-Light,
 Juergen Wolff v. Gudenberg,
 Addison-Wesley, Bonn 1996 

About the book:

The design of algorithms, their implementation and the handling of
 data structures belong to the basic tools of each computer scientist.

This book gives an introduction where algorithms as well as data structures
 are considered functionally. It is intended as an accompanying book
 for basic courses in computer science,
 but it is also suitable for self-studies.

In the first part the algorithms are concisely and precisely  designed
 using  Caml Light as a kind of pseudo code. The main ideas are thus not
concealed by a lot of details.
As an additional advantage the pseudo code describes complete programs
 and the designs are directly executable.
In this manner the reader becomes familar with functional programming.

The second part provides a tutorial introduction into the language Caml Light
and in its last chapter a comprehensive description of the language kernel.

Caml Light is an easily portable, typed, functional language
 which is interpreted but may also be compiled if neccessary.
There is a considerable amount of interesting application modules.
(Continue reading)

Permalink | Reply | 0 comments |
headers
Jean-Christophe Filliatre | 9 Oct 1996 09:12
Picon
Picon

camllight graphics and video card S3 trio 64V+, etc.


Hello,

[ I post this questions for 3 persons who do not have access to mail ]

1. I have a video card "S3 trio 64 V+ PCI" and there seems to be no
driver for this
card in order to use the graphics library of camllight 0.71 under DOS.
Is it possible to get it somewhere ? Or is there any "standard" SVGA
driver which can be used with this card ?

2. Is the 256 colors limitation of the graphics library inherent to this
library,
or is it possible to find drivers for more than 256 colors (for 24 bits
video cards
for instance) ?

Thank you.

Sincerely,

--

-- 
| Jean-Christophe FILLIATRE
(Jean-Christophe.Filliatre <at> ens-lyon.fr)       |
|   WWW:
http://www.eleves.ens.fr:8080/home/filliatr/                     |
Permalink | Reply | 1 comment |
headers
Xavier Leroy | 9 Oct 1996 10:49
Picon
Picon

Re: ocaml-tex ?


[Christine Paulin was asking for a version of the caml-tex formatter
 that works with Objective Caml. One is at the end of this message.]

> Je ne trouve pas dans la distribution trace d'un outil analogue a 
> caml-tex compatible avec ocaml. Une modification naive du scrip caml-tex
> ne semble pas suffisante.

Nous avons une version modifiee de caml-tex pour Objective Caml qui
sert a fabriquer la documentation. Elle n'est pas dans la distribution
pour diverses raisons, en particulier parce que le perl script n'est
pas tres propre et qu'il faudrait trouver mieux. Je l'inclus a la fin
de ce message. Attention, ca marche avec Objective Caml 1.02 mais pas
1.01 (changement des prompts du system interactif).

- Xavier Leroy

#!/usr/local/bin/perl

$camllight = "TERM=dumb ocaml";
$camlbegin = "\\caml\n";
$camlend = "\\endcaml\n";
$camlin = "\\?";
$camlout = "\\:";
$camlblank = "\\;\n";

$linelen = 72;
$output = "";
$cut_at_blanks = 0;
(Continue reading)

Permalink | Reply | 0 comments |
headers
Vyskocil Vladimir | 9 Oct 1996 11:25
Picon
Picon
Favicon

Constructeurs en O'Caml


Bonjour,

Existe-t'il comme en C++ une fonction qui est appelee a la construction d'un 
objet (pas seulement pour initialiser des variables d'instances) ?

---
Vyskocil Vladimir
vvyskoci <at> sophia.inria.fr
http://www.inria.fr/safir/SAFIR/Vladimir.html
Permalink | Reply | 5 comments |
headers
Xavier Leroy | 9 Oct 1996 11:44
Picon
Picon
Favicon

Re: camllight graphics and video card S3 trio 64V+, etc.


> 1. I have a video card "S3 trio 64 V+ PCI" and there seems to be no
> driver for this
> card in order to use the graphics library of camllight 0.71 under DOS.
> Is it possible to get it somewhere ? Or is there any "standard" SVGA
> driver which can be used with this card ?

You're probably talking about release 0.7 or earlier. You should try
VESA_S3.GRN first, which seems to be a "generic" S3 driver. If this
fails, try other drivers for cards that have S3 chips in them, such as
STEALTH.GRN and F1280.GRN

This said, graphics under MSDOS are a mess, and you're strongly
encouraged to do graphics under the Windows version of Caml Light 0.71.
At least, Windows takes care of the graphics drivers.

> 2. Is the 256 colors limitation of the graphics library inherent to
> this library, or is it possible to find drivers for more than 256
> colors (for 24 bits video cards for instance) ?

The graphics code for 0.7 was built on top of the CBGRX library for
DJGPP version 1, and I don't think this library can handle more than
256 colors. (This is code I wrote almost five years ago, so I can be
wrong.)

For 0.71, Caml Light will happily let you access all colors that
Windows provides.

- Xavier Leroy
(Continue reading)

Permalink | Reply | 0 comments |

Gmane