1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
|
<!--#include virtual="doctype" -->
<HTML>
<HEAD>
<TITLE>Frequently asked Questions about Caml</TITLE>
</HEAD>
<BODY BGCOLOR="#FFFFFF">
<H1 ALIGN=CENTER><IMG SRC="JoeCaml.gif" ALT=""> Caml program examples</H1>
<P>This directory contains some examples of Objective Caml programs.
<P>The examples can either be compiled and executed as standalone
programs (just type <CODE>make</CODE> in the subdirectory), if speed
is important you can use the optimizing compiler by typing
<CODE>make opt</CODE>, or else run interactively the examples under
<CODE>ocaml</CODE>, by executing
<PRE>
#use "loadall.ml";;
</PRE>
in the appropriate directory. (The graphics programs must
be run under a specialized interactive system, <CODE>ocamlgraph</CODE>
that you can create using <CODE>ocamlmktop -custom -o ocamlgraph
graphics.cma</CODE>.)
<P>Examples marked (*) are taken from the book ``Le langage Caml'', by
Pierre Weis and Xavier Leroy (InterEditions, 1993 && 1999). Messages and
identifiers may be in French and may contain accented letters (ISO 8859-1
encoding). You'll need an 8-bit clean system to read them.<BR>
Examples marked (G) assume installed the portable graphics library
(as found in the <CODE>otherlib/graph</CODE> directory of the
Objective Caml distribution).
<H2 ALIGN=LEFT>One file programs</H2>
<UL>
<LI>basics:<BR>
A set of simple, basic, and slightly advanced programs.
See the <A HREF="basics/eng.html">eng.html</A> file.
Contains also the three all-time favorites: Fibonacci,
Eratosthene's sieve, and the Unix <CODE>wc</CODE> utility.
<LI>colwheel: (G)<BR>
The "color wheel" (color space in HSV coordinates).
Needs at least 256 colors to look good.
<LI>spirals: (G)<BR>
Explore a family of flashy curves. (Use spir on a color screen
and spir-bw on a black and white screen.)
<LI>showsort: (G)<BR>
Graphic animation of sorting algorithms.
<LI>hanoi: (*)(G)<BR>
Animated towers of Hanoi. Uses lists and strings.
<LI>doctor: (*)<BR>
A (English-speaking) clone of Eliza.
<LI>docteur: (*)<BR>
A (French-speaking) clone of Eliza.
If you can translate this
program in any other language than english, please contact
Pierre.Weis@inria.fr.
</UL>
<H2 ALIGN=LEFT>Graphical User Interface</H2>
<UL>
<LI><A HREF="camltk/eng.html">camltk</A>: (*) <BR>
A set of programs to learn using the Caml/Tk graphical user
interface (GUI). From simple hello world programs to an
advanced tetris game. Some examples are from the book ``Le
langage Caml'', by Pierre Weis and Xavier Leroy
(InterEditions, 1999). See the <A
HREF="camltk/eng.html">eng.html</A> file in the directory.
</UL>
<H2 ALIGN=LEFT>Modular programs</H2>
<P>Those programs are in the corresponding directories. They are
complete independant applications that have a Makefile to handle
their recompilation. Those examples can be quite involved.
<UL>
<LI>calc:<BR>
This is a simple desk calculator that illustrates the use of camllex
and camlyacc.
<LI>picomach: (*)<BR>
An assembler and simulator for a RISC processor.
<LI>grep: (*)<BR>
Regular expressions and automata.
<LI>compress: (*)<BR>
File compression and decompression (Huffman).
<LI>demonstr: (*)<BR>
Tautology checker.
<LI>minicaml: (*)<BR>
An interpreter and typechecker for a subset of Caml.
<LI>asl:<BR>
This is the implementation of A Small Language, as described in
part 3 of ``Functional Programming using Caml Light'', by
Michel Mauny.
<LI>minilogo: (*) (G)<BR>
An interpreter for a small language with turtle graphics.
<LI>pascal: (*)<BR>
An interpreter and compiler for a subset of Pascal.
The compiler generates code for the <CODE>picomach</CODE> program.
<LI>kb:<BR>
The Knuth-Bendix completion procedure for rewriting systems.
Taken from some course notes by Gerard Huet.
</UL>
<P>
The <CODE>config</CODE> directory does not contain examples, but configuration
files used to generate the Makefiles.
<!--#include virtual="basdepage-eng.html" -->
</BODY>
</HTML>
|
