Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

fix links

  • Loading branch information...
commit ef98fa63dc4535592f8b8307bd58fc7da6c504e2 1 parent 09e43c2
@pw374 pw374 authored
Showing with 127 additions and 263 deletions.
  1. +1 −1  site/caml-light/index.md
  2. +4 −4 site/community/index.md
  3. +1 −1  site/community/support.fr.md
  4. +1 −1  site/community/support.md
  5. +1 −48 site/css/ocamlorg.css
  6. +1 −1  site/docs/install.fr.md
  7. +4 −4 site/docs/install.md
  8. +2 −7 site/index.md
  9. +79 −151 site/learn/books.md
  10. +4 −12 site/learn/companies.md
  11. +1 −1  site/learn/description.md
  12. +4 −4 site/learn/faq.md
  13. +1 −1  site/learn/index.md
  14. +1 −1  site/learn/taste.md
  15. +1 −1  site/learn/tutorials/99problems.md
  16. +1 −1  site/learn/tutorials/compiling_ocaml_projects.md
  17. +1 −1  site/learn/tutorials/functional_programming.fr.md
  18. +1 −1  site/learn/tutorials/functional_programming.md
  19. +1 −1  site/learn/tutorials/garbage_collection.md
  20. +1 −1  site/learn/tutorials/introduction_to_gtk.md
  21. +3 −2 site/learn/tutorials/ocaml_and_the_web.md
  22. +1 −6 site/meetings/index.md
  23. +2 −2 site/platform/index.md
  24. +2 −2 site/releases/3.12.1.md
  25. +2 −2 site/releases/4.00.1.md
  26. +1 −1  site/releases/caml-light/index.md
  27. +5 −5 site/releases/caml-light/releases/0.75.md
View
2  site/caml-light/index.md
@@ -23,7 +23,7 @@
compiler. Two megabytes of memory is enough to recompile the whole
system.</p>
- <p>Debugging is possible by <a href="../debug.html">tracing function
+ <p>Debugging is possible by <a href="../learn/tutorials/debug.html">tracing function
calls in the same way as in OCaml</a>. In the example therein, one
should write <code>trace "fib";;</code> instead of <code>#trace
fib;;</code> and <code>untrace "fib";;</code> instead of
View
8 site/community/index.md
@@ -57,14 +57,14 @@
<a href="irc://irc.freenode.net/ocaml-fr">fr</a>).
When you need to go beyond this and get professional support, you have a number of
<a href="support.html">options available</a>.</p>
- <p>If you would like to give support to OCaml, you can join the Consortium or support the work of OCaml Labs. <a href="/community/support">Find out more</a>.</p>
+ <p>If you would like to give support to OCaml, you can join the Consortium or support the work of OCaml Labs. <a href="/community/support.html">Find out more</a>.</p>
</section>
<section class="span4 condensed">
- <h1 class="ruled">Events</h1>
+ <h1 class="ruled">Upcoming Events</h1>
<ul class="news-feed">
<li class="announcement">
<article>
- <h1><a href="/meetings/ocaml/2013/">OCaml 2013</a></h1>
+ <h1><a href="#">OCaml 2013</a></h1>
<p>24 September 2013</p>
<a href="/meetings/ocaml/2013/">
<img src="/img/announcement.png" alt="Announcement">
@@ -92,7 +92,7 @@
<article>
<h1><a href="#">Consortium Meeting</a></h1>
<p>XX November 2013</p>
- <a href="/meetings/consortium">
+ <a href="">
<img src="/img/news.png" alt="News">
</a>
</article>
View
2  site/community/support.fr.md
@@ -14,7 +14,7 @@ e Consortium OCaml fédère les efforts de conception et de développement
du langage OCaml et de son environnement. Le Consortium permet à ses
membres de montrer leur intérêt pour le langage OCaml et de soutenir son
développement. Ils bénéficient de plus d'une [license
-spécifique](consortium/license.html).
+spécifique](/docs/consortium-license.fr.html).
La cotisation annuelle des membres peut être ou bien très modeste
(3000€) ou plus conséquente (10000€ ou plus) selon le niveau de soutien
View
2  site/community/support.md
@@ -37,7 +37,7 @@ The OCaml Consortium federates the design and development of the OCaml
language and its programming environment. The Consortium allow its
members to demonstrate their interest in the OCaml language and express
their support to its development. Moreover, they benefit of a [specific
-license](consortium/license.html).
+license](/docs/consortium-license.html).
To become a member necessitates a contribution that can be as low as
3000€ for a minimal support to OCaml. For more effective support,
View
49 site/css/ocamlorg.css
@@ -108,20 +108,6 @@ a.planet-toggle {
font-size: 90%;
padding: 5px 10px;
margin-bottom: 2ex;
- color: #4b4b4b;
- background: #e6e6e6;
- border: 1px solid #dedede;
-}
-
-a.planet-toggle:hover, a.planet-toggle:focus {
- color: #ffffff;
- background: #c77a27;
-}
-
-h1.planet .rss {
- float: right;
- padding-top: 3px;
- margin-left: 10px;
}
div.subscribers {
@@ -141,37 +127,4 @@ a[name] {
padding-top: 75px;
margin-top: -70px;
display: inline-block; /* required for webkit browsers */
-}
-
-a.edit-this-page {
- margin-top: 22.5px;
- margin-left: 15px;
- width: 33px;
- height: 33px;
- background: url(/img/edit.png) no-repeat left center;
- display: block;
- text-decoration: none;
-}
-
-.edit-this-page span {
- display: none;
- color: #ffffff; /* same as the other menu entries */
-}
-
-a.edit-this-page:hover {
- background-image: url(/img/edit-hover.png);
-}
-
-/* When the navigation bar is collapsed */
-@media (max-width: 979px) {
- .nav-collapse a.edit-this-page {
- float: none;
- width: auto;
- margin-left: 10px;
- }
- .nav-collapse .edit-this-page span {
- display: block;
- padding-top: 5px;
- margin-left: 40px;
- }
-}
+}
View
2  site/docs/install.fr.md
@@ -7,7 +7,7 @@
sous les termes de la *Q Public License*, et sa librairie sous ceux de
la *LGPL*; reportez-vous au texte de la [license](license.html) pour
plus de détails. De plus, une license de type BSD est automatiquement
-accordée aux membres du [OCaml Consortium](support.html#consortium).
+accordée aux membres du [OCaml Consortium](/community/support.html#consortium).
La version la plus récente est **OCaml 4.00.1**, publiée le 05/10/2012.
Elle peut être installée facilement de plusieurs façons.
View
8 site/docs/install.md
@@ -14,7 +14,7 @@ options are:
The different options are detailed below. Most of these tools allow you
to download and install OCaml libraries. You can also find more packages
-[here](libraries.html).
+[here](/learn/libraries.html).
<br />
@@ -216,7 +216,7 @@ urpmq --list | grep ocaml
### Windows
Four ports of OCaml for Microsoft Windows are currently available. For
additional information, please consult the list of [portability
-issues](portability.html) or the [Windows release
+issues](/learn/portability.html) or the [Windows release
notes](http://caml.inria.fr/pub/distrib/ocaml-4.00/notes/README.win32).
* [Cygwin-based native Win32 port
@@ -303,7 +303,7 @@ There is the issue of knowing which Fink packages have to be installed
before you can install some of the Godi packages with all optioned
enabled.
-#### [MacPorts](macosx-macports)
+#### MacPorts
[MacPorts](http://www.macports.org/), formerly known as DarwinPorts, is
a package management system for Mac OS X based on the BSD ports system.
You will need to have the OS X Developer Tools installed before
@@ -330,7 +330,7 @@ the native libraries, such as GTK2 and PCRE.
-#### [Building from sources](macosx-sources)
+#### Building from sources
Unfortunately, the packages available for both Fink and DarwinPorts
don't yet include some of the more useful additions to the OCaml
collection, such as Markus Mottl's PCRE-Ocaml library or Stolpmann's
View
9 site/index.md
@@ -29,7 +29,7 @@
</a>
<h1><a href="/docs">Documentation</a></h1>
<p><a href="docs/install.html" >Install</a> OCaml,
- look up <a href="https://opam.ocaml.org/pkg/">package docs</a>, access the
+ look up <a href="#">package docs</a>, access the
<a href="http://caml.inria.fr/pub/docs/manual-ocaml/"
target="_blank"
>Manual</a>, get the <a href="/docs/cheat_sheets.html">cheat sheets</a> and <a href="/docs">more</a>.</p>
@@ -40,11 +40,7 @@
<a href="/docs/install.html">
<img src="/img/platform-large.png" alt="Platform"> </a>
<h1><a href="http://opam.ocaml.org">Packages</a></h1>
- <p>The <a href="http://opam.ocaml.org">OCaml Package
- Manager</a>, gives you to access multiple versions of
- <a href="https://opam.ocaml.org/pkg/">hundreds of
- packages</a>. It's the best way to get started for
- newcomers and a flexible base for experienced users.</p>
+ <p>The <a href="http://opam.ocaml.org">OCaml Package Manager</a>, gives you to access multiple versions of hundreds of packages. It's the best way to get started for newcomers and a flexible base for experienced users.</p>
</section>
<section class="span4 home-feature">
<a href="/community">
@@ -79,7 +75,6 @@
<h1>A taste of OCaml</h1>
((! cat template/tryocaml.html !))
((! input template/front_code_snippet.html !))
- <p>OCaml is a lot more powerful than this simple example shows. See <a href="/learn/taste.html">more examples</a>!</p>
</section>
<section class="span6 condensed">
<h1>Packages</h1>
View
230 site/learn/books.md
@@ -5,7 +5,11 @@
# Books
## Books in English
### The OCaml System: Documentation and User's Manual
-<img src="/img/ocaml-large.png" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
+[Online](http://caml.inria.fr/pub/docs/manual-ocaml/index.html) |
+[PDF](http://caml.inria.fr/distrib/ocaml-4.00/ocaml-4.00-refman.pdf) |
+[HTML
+Tarball](http://caml.inria.fr/distrib/ocaml-4.00/ocaml-4.00-refman.html.tar.gz)
+| [Older Versions](http://caml.inria.fr/distrib/)
*Damien Doligez, Alain Frisch, Jacques Garrigue, Didier Rémy, and Jérôme
Vouillon*
@@ -15,16 +19,12 @@ to OCaml. Updated for each version of OCaml, it contains the description
of the language, of its extensions, and the documentation of the tools
and libraries included in the official distribution.
-[Online](http://caml.inria.fr/pub/docs/manual-ocaml/index.html) |
-[PDF](http://caml.inria.fr/distrib/ocaml-4.00/ocaml-4.00-refman.pdf) |
-[HTML
-Tarball](http://caml.inria.fr/distrib/ocaml-4.00/ocaml-4.00-refman.html.tar.gz)
-| [Older Versions](http://caml.inria.fr/distrib/)
-
-****
+![Real World
+OCaml](https://realworldocaml.org/media/img/oreilly-cover.gif "")
### Real World OCaml
-<img src="/img/real-world-ocaml.jpg" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
+[Book Website](https://realworldocaml.org/) | [O&#39;Reilly Early
+Release](http://shop.oreilly.com/product/0636920024743.do?code=WKERRLS)
*Jason Hickey, Anil Madhavapeddy, and Yaron Minsky*
@@ -33,7 +33,7 @@ computation, system scripting, and database-driven web applications with
the OCaml multi-paradigm programming language. This hands-on book shows
you how to take advantage of OCaml’s functional, imperative, and
object-oriented programming styles with recipes for many real-world
-tasks.
+tasks.
You’ll start with OCaml basics, including how to set up a development
environment, and move toward more advanced topics such as the module
@@ -41,13 +41,11 @@ system, foreign-function interface, macro language, and the ocamlbuild
system. Quickly learn how to put OCaml to work for writing succinct and
readable code.
-[Book Website](https://realworldocaml.org/) | [O&#39;Reilly Early
-Release](http://shop.oreilly.com/product/0636920024743.do?code=WKERRLS)
-
-****
+![OCaml from the Very Beginning](img/OCaml_from_beginning.png "")
### OCaml from the Very Beginning
-<img src="/img/OCaml_from_beginning.png" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
+[Book Website](http://ocaml-book.com/) |
+[Amazon](http://www.amazon.com/gp/product/0957671105)
*John Whitington*
@@ -56,17 +54,15 @@ no-prerequisites approach to teaching a modern general-purpose
programming language. Each small, self-contained chapter introduces a
new topic, building until the reader can write quite substantial
programs. There are plenty of questions and, crucially, worked answers
-and hints.
-
-"OCaml from the Very Beginning" will appeal both to new programmers, and experienced programmers eager to explore functional languages such as OCaml. It is suitable both for formal use within an undergraduate or graduate curriculum, and for the interested amateur.
-
-[Book Website](http://ocaml-book.com/) |
-[Amazon](http://www.amazon.com/gp/product/0957671105)
+and hints.
-****
+"OCaml from the Very Beginning" will appeal both to new programmers, and
+experienced programmers eager to explore functional languages such as
+OCaml. It is suitable both for formal use within an undergraduate or
+graduate curriculum, and for the interested amateur.
### Unix System Programming in OCaml
-<img src="/img/default.png" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
+[Online](http://ocamlunix.forge.ocamlcore.org/)
*Xavier Leroy and Didier Rémy*
@@ -77,12 +73,13 @@ programming. This gives an unusual perspective on systems programming
and on OCaml. It is assumed that the reader is familiar with OCaml and
Unix shell commands.
-[Online](http://ocamlunix.forge.ocamlcore.org/)
-
-****
+![](http://caml.inria.fr/about/books-images/harrop.gif "")
### OCaml for Scientists
-<img src="/img/harrop-book.gif" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
+[Book
+Website](http://www.ffconsultancy.com/products/ocaml_for_scientists/index.html)
+| [Ordering
+Information](http://www.ffconsultancy.com/products/ocaml_for_scientists/index.html)
*Jon D. Harrop<br />
Flying Frog Consultancy Ltd, 2005.*
@@ -95,29 +92,22 @@ examples and dozens of diagrams that elucidate the power of functional
programming to explain how lightning-fast and yet remarkably-simple
programs can be constructed in the OCaml programming language.
-[Book
-Website](http://www.ffconsultancy.com/products/ocaml_for_scientists/index.html)
-| [Ordering
-Information](http://www.ffconsultancy.com/products/ocaml_for_scientists/index.html)
-
-****
-
### Using, Understanding, and Unraveling OCaml
-<img src="/img/default.png" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
+[Online](http://caml.inria.fr/pub/docs/u3-ocaml/) |
+[PDF](http://caml.inria.fr/pub/docs/u3-ocaml/ocaml.pdf)
*Didier Rémy*
This book describes both the OCaml language and the theoretical grounds
behind its powerful type system. A good complement to other books on
-OCaml it is addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whether they are programmers or language designers, beginners or knowledgeable readers — little prerequisite is actually assumed.
+OCaml.
-[Online](http://caml.inria.fr/pub/docs/u3-ocaml/) |
-[PDF](http://caml.inria.fr/pub/docs/u3-ocaml/ocaml.pdf)
-
-****
+![Think
+OCaml](http://greenteapress.com/thinkocaml/thinkocaml_cover_web.png "")
### Think OCaml: How to Think Like a (Functional) Programmer
-<img src="http://greenteapress.com/thinkocaml/thinkocaml_cover_web.png" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
+[Book Website](http://greenteapress.com/thinkocaml/index.html) |
+[PDF](http://greenteapress.com/thinkocaml/thinkocaml.pdf)
*Nicholas Monje and Allen Downey*
@@ -127,13 +117,12 @@ is intended for newcomers to programming and also those who know some
programming but want to learn programming in the function-oriented
paradigm, or those who simply want to learn OCaml.
-[Book Website](http://greenteapress.com/thinkocaml/index.html) |
-[PDF](http://greenteapress.com/thinkocaml/thinkocaml.pdf)
-
-****
+![](http://caml.inria.fr/pub/docs/oreilly-book/html/logocaml.gif "")
### Developing Applications With OCaml
-<img src="/img/logocaml-oreilly.gif" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
+[Book Website](http://caml.inria.fr/pub/docs/oreilly-book/index.html) |
+[Online](http://caml.inria.fr/pub/docs/oreilly-book/html/index.html) |
+[PDF](http://caml.inria.fr/pub/docs/oreilly-book/ocaml-ora-book.pdf)
*Emmanuel Chailloux, Pascal Manoury, Bruno Pagano*
@@ -142,31 +131,24 @@ language, but also modules, objects and classes, threads and systems
programming, interoperability with C, and runtime tools. This book is a
translation of a French book published by OReilly.
-[Book Website](http://caml.inria.fr/pub/docs/oreilly-book/index.html) |
-[Online](http://caml.inria.fr/pub/docs/oreilly-book/html/index.html) |
-[PDF](http://caml.inria.fr/pub/docs/oreilly-book/ocaml-ora-book.pdf)
-
-****
-
### Introduction to OCaml
-<img src="/img/default.png" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
+[PDF](http://files.metaprl.org/doc/ocaml-book.pdf)
*Jason Hickey*
This book is notoriously much more than just an introduction to OCaml,
-it describes most of the language, and is accessible. <br>
-Abstract: *This book is an introduction to ML programming, specifically for the OCaml programming language from INRIA. OCaml is a dialect of the ML family of languages, which derive from the Classic ML language designed by Robin Milner in 1975 for the LCF (Logic of Computable Functions) theorem prover.*
+it describes most of the language, and is accessible.
-[PDF](http://files.metaprl.org/doc/ocaml-book.pdf)
-
-****
+![](http://caml.inria.fr/about/books-images/cousineau-mauny-en.gif "")
### The Functional Approach to Programming
-<img src="http://caml.inria.fr/about/books-images/cousineau-mauny-en.gif" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
+[Book Website](http://pauillac.inria.fr/cousineau-mauny/main.html) |
+[Order at
+Amazon.com](http://www.amazon.com/exec/obidos/ASIN/0521571839/qid%3D911812711/sr%3D1-22/102-8668961-8838559)
*Guy Cousineau, Michel Mauny<br />
- Cambridge University Press, Cambridge, 1998, <br />
- ISBN 0-521-57183-9 (hardcover) or 0-521-57681-4 (paperback)*
+ Cambridge University Press, Cambridge, 1998, ISBN 0-521-57183-9
+(hardcover) or 0-521-57681-4 (paperback)*
This book uses OCaml as a tool to introduce several important
programming concepts. It is divided in three parts. The first part is an
@@ -179,51 +161,36 @@ is dedicated to implementation. It describes interpretation and
compilation, with brief descriptions of memory management and type
synthesis.
-[Book Website](http://pauillac.inria.fr/cousineau-mauny/main.html) |
-[Order at
-Amazon.com](http://www.amazon.com/exec/obidos/ASIN/0521571839/qid%3D911812711/sr%3D1-22/102-8668961-8838559)
-
-****
-****
-
## Books in French
-
+![](http://caml.inria.fr/about/books-images/chailloux-manoury-pagano.jpg "")
### Développement d'applications avec Objective Caml
-<img src="http://caml.inria.fr/about/books-images/chailloux-manoury-pagano.jpg" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
+[Online](http://www.pps.jussieu.fr/Livres/ora/DA-OCAML/index.html) |
+[Order at Amazon.fr](http://www.amazon.fr/exec/obidos/ASIN/2841771210)
*Emmanuel Chailloux, Pascal Manoury, and Bruno Pagano<br />
Éditions O'Reilly, Paris, 2000, ISBN 2-84177-121-0.*
A comprehensive (742 pages) book on OCaml, covering not only the core
language, but also modules, objects and classes, threads and systems
-programming, and interoperability with C. <br />
-"Objective CAML est un langage de programmation : un de plus dira-t-on ! Ils sont en effet déjà nombreux et pourtant il en apparaît constamment de nouveaux. Au delà de leurs disparités, la conception et la genèse de chacun d'eux procèdent d'une motivation partagée : la volonté d'abstraire"
-
-[Online](http://www.pps.jussieu.fr/Livres/ora/DA-OCAML/index.html) |
-[Order at Amazon.fr](http://www.amazon.fr/exec/obidos/ASIN/2841771210)
-
-****
+programming, and interoperability with C.
+![](http://caml.inria.fr/about/books-images/leroy-weis.jpg "")
### Manuel de référence du langage Caml
-<img src="http://caml.inria.fr/about/books-images/leroy-weis.jpg" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
+[PDF](http://caml.inria.fr/pub/distrib/books/manuel-cl.pdf)
*Xavier Leroy and Pierre Weis<br />
InterEditions, Paris, 1993, ISBN 2-7296-0492-8 (out of print).*
Written by two of the implementors of the Caml Light compiler, this
comprehensive book describes all constructs of the programming language
-and provides a complete documentation for the Caml Light system. <br />
-Intro: "Cet ouvrage contient le manuel de référence du langage Caml et la documentation complète du système Caml Light, un environnement de programmation en Caml distribué́ee gratuitement. Il s’adresse á des programmeurs Caml exp ́ériment ́és, et non pas aux d ́ébutants. Il vient en compl ́ément du livre *Le langage Caml*, des mêmes auteurs chez le même é́editeur, qui fournit une introduction progressive au langage Caml et á l’é́ecriture de programmes dans ce langage."
-
-[PDF](http://caml.inria.fr/pub/distrib/books/manuel-cl.pdf)
-
-****
+and provides a complete documentation for the Caml Light system.
+![](http://caml.inria.fr/about/books-images/weis-leroy.jpg "")
### Le langage Caml
-<img src="http://caml.inria.fr/about/books-images/weis-leroy.jpg" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
+[PDF](http://caml.inria.fr/pub/distrib/books/llc.pdf)
*Pierre Weis, Xavier Leroy<br />
Second edition: Dunod, Paris, 1999, ISBN 2-10-004383-8.<br />
@@ -237,12 +204,10 @@ design and implementation of six complete, realistic programs in
reputedly difficult application areas: compilation, type inference,
automata, etc.
-[PDF](http://caml.inria.fr/pub/distrib/books/llc.pdf)
-
-****
+![](http://caml.inria.fr/about/books-images/cousineau-mauny-fr.gif "")
### Approche fonctionnelle de la programmation
-<img src="http://caml.inria.fr/about/books-images/cousineau-mauny-fr.gif" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
+[Book Website](http://pauillac.inria.fr/cousineau-mauny/main-fr.html)
*Guy Cousineau, Michel Mauny<br />
Ediscience (Collection Informatique), Paris, 1995, ISBN 2-84074-114-8.*
@@ -258,16 +223,14 @@ is dedicated to implementation. It describes interpretation then
compilation, with brief descriptions of memory management and type
synthesis.
-[Book Website](http://pauillac.inria.fr/cousineau-mauny/main-fr.html)
-
-****
+![](http://caml.inria.fr/about/books-images/petazzoni.jpg "")
### Seize problèmes d'informatique
-<img src="http://caml.inria.fr/about/books-images/petazzoni.jpg" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
+[Springer&#39;s Catalog
+Page](http://www.springeronline.com/sgw/cda/frontpage/0,10735,5-102-22-2042496-0,00.html)
*Bruno Petazzoni<br />
- Éditions Springer, Paris, 2001 <br />
- ISBN 3-540-67387-3.*
+ Éditions Springer, Paris, 2001, ISBN 3-540-67387-3.*
This book offers sixteen problems in computer science, with detailed
answers to all questions and complete solutions to algorithmic problems
@@ -278,17 +241,13 @@ computer science curriculum of the “classes préparatoires MPSI/MP”. It
should also be useful to all teachers and computer science students up
to a masters degree.
-[Springer&#39;s Catalog
-Page](http://www.springeronline.com/sgw/cda/frontpage/0,10735,5-102-22-2042496-0,00.html)
-
-****
+![](http://caml.inria.fr/about/books-images/quercia.gif "")
### Nouveaux exercices d'algorithmique
-<img src="http://caml.inria.fr/about/books-images/quercia.gif" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
+[Order at Amazon.fr](http://www.amazon.fr/exec/obidos/ASIN/3540673873)
*Michel Quercia<br />
- Éditions Vuibert, Paris, 2000 <br />
- ISBN 2-7117-8990 X.*
+ Éditions Vuibert, Paris, 2000, ISBN 2-7117-8990 X.*
This book presents 103 exercises and 5 problems about algorithms, for
masters students. It attempts to address both practical and theoretical
@@ -297,15 +256,11 @@ functional style. Problem areas include programming methodology, lists,
formula evaluation, Boolean logic, algorithmic complexity, trees,
languages, and automata.
-[Order at Amazon.fr](http://www.amazon.fr/exec/obidos/ASIN/3540673873)
-
-****
+![](http://caml.inria.fr/about/books-images/monasse-1.gif "")
### Option informatique MPSI
-<img src="http://caml.inria.fr/about/books-images/monasse-1.gif" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
-
*Denis Monasse<br />
- Éditions Vuibert (Enseignement supérieur &amp; Informatique), Paris, 1996 <br />
+ Éditions Vuibert (Enseignement supérieur &amp; Informatique), Paris, 1996,
ISBN 2-7117-8831-8.*
This is a computer science course for the first year of “classes
@@ -318,13 +273,13 @@ language. This book is suitable for students with some mathematical
background, and for everyone who wants to learn the bases of computer
science.
-****
+![](http://caml.inria.fr/about/books-images/monasse-2.jpg "")
### Option informatique MP/MP*
-<img src="http://caml.inria.fr/about/books-images/monasse-2.jpg" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
+[Order at Amazon.fr](http://www.amazon.fr/exec/obidos/ASIN/2711788393)
*Denis Monasse<br />
- Éditions Vuibert (Enseignement supérieur &amp; Informatique), Paris 1997 <br />
+ Éditions Vuibert (Enseignement supérieur &amp; Informatique), Paris 1997,
ISBN 2-7117-8839-3.*
This books is a follow-up to the previous one and is intended for second
@@ -332,16 +287,11 @@ year students in “classes préparatoires”. It deals with trees, algebraic
expressions, automata and languages, and OCaml streams. The book
contains more than 200 OCaml programs.
-[Order at Amazon.fr](http://www.amazon.fr/exec/obidos/ASIN/2711788393)
-
-****
+![](http://caml.inria.fr/about/books-images/albert.gif "")
### Cours et exercices d'informatique
-<img src="http://caml.inria.fr/about/books-images/albert.gif" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
-
*Luc Albert<br />
- Thomson Publishing International, Paris, 1997 <br />
- ISBN 2-84180-106-3.*
+ Thomson Publishing International, Paris, 1997, ISBN 2-84180-106-3.*
This book was written by teachers at university and in “classes
préparatoires”. It is intended for “classes préparatoires” students who
@@ -349,14 +299,11 @@ study computer science and for students engaged in a computer science
cursus up to the masters level. It includes a tutorial of the OCaml
language, a course on algorithms, data structures, automata theory, and
formal logic, as well as 135 exercises with solutions.
-<br />
-<br />
-<br />
-****
+![](http://caml.inria.fr/about/books-images/hardin-donzeau-gouge.gif "")
### Concepts et outils de programmation
-<img src="http://caml.inria.fr/about/books-images/hardin-donzeau-gouge.gif" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
+[Order at Amazon.fr](http://www.amazon.fr/exec/obidos/ASIN/2729604197)
*Thérèse Accart Hardin, Véronique Donzeau-Gouge Viguié<br />
InterEditions, ISBN 2 7296 0419 7.*
@@ -372,12 +319,10 @@ functional approach, based on OCaml, and continues with a presentation
of an imperative language, namely Ada. It also provides numerous
exercises with solutions.
-[Order at Amazon.fr](http://www.amazon.fr/exec/obidos/ASIN/2729604197)
-
-****
+![](http://caml.inria.fr/about/books-images/rouable.jpg "")
### Programmation en Caml
-<img src="http://caml.inria.fr/about/books-images/rouable.jpg" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
+[Order at Amazon.fr](http://www.amazon.fr/exec/obidos/ASIN/2212089449)
*Jacques Rouablé<br />
Eyrolles, Paris 1997, ISBN 2-212-08944-9.*
@@ -390,13 +335,9 @@ of these is analyzed and sketched. The second part, the “OCaml
workshop”, is a practical application of these notions to other domains
connected to computer science, logic, automata and grammars.
-[Order at Amazon.fr](http://www.amazon.fr/exec/obidos/ASIN/2212089449)
-
-****
+![](http://caml.inria.fr/about/books-images/dubois-menissier.gif "")
### Apprentissage de la programmation avec OCaml
-<img src="http://caml.inria.fr/about/books-images/dubois-menissier.gif" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
-
*Catherine Dubois and Valérie Ménissier Morain<br />
Hermès Sciences, Paris 2004, ISBN 2-7462-0819-9.*
@@ -412,32 +353,24 @@ this book are available in all dialects of the ML language, notably
Caml-Light, OCaml and Standard ML. The concepts presented therein and
illustrated in OCaml easily transpose to other programming languages.
-****
+![](http://caml.inria.fr/about/books-images/narbel.jpg "")
### Programmation fonctionnelle, générique et objet: une introduction avec le langage OCaml
-<img src="http://caml.inria.fr/about/books-images/narbel.jpg" width="180"></img>
-
*Philippe Narbel<br />
Vuibert, Paris 2005, ISBN 2-7117-4843-X.*
-****
+![](http://caml.inria.fr/about/books-images/manoury.png "")
### Programmation de droite à gauche et vice-versa
-<img src="http://caml.inria.fr/about/books-images/manoury.png" width="180"></img>
+[Order Online from Paracamplus](http://paracamplus.com)
*Pascal Manoury<br />
Éditions Paracamplus, Paris, 2011, ISBN 978-2-916466-05-7.*
-[Order Online from Paracamplus](http://paracamplus.com)
-
-****
-****
-
## Books in German
+![](http://caml.inria.fr/about/books-images/wolff.gif "")
### Algorithmen, Datenstrukturen, Funktionale Programmierung: Eine praktische Einführung mit Caml Light
-<img src="http://caml.inria.fr/about/books-images/wolff.gif" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
-
*Juergen Wolff von Gudenberg<br />
Addison-Wesley, Bonn, 1996.*
@@ -448,17 +381,12 @@ suitable for self-studies. In the first part, algorithms are described
in a concise and precise manner using Caml Light. The second part
provides a tutorial introduction into the language Caml Light and in its
last chapter a comprehensive description of the language kernel.
-<br />
-<br />
-<br />
-****
-****
## Books in Italian
+![](http://caml.inria.fr/about/books-images/limongelli-cialdea.gif "")
### Introduzione alla programmazione funzionale
-<img src="http://caml.inria.fr/about/books-images/limongelli-cialdea.gif" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
-
*Carla Limongelli and Marta Cialdea<br />
Societa' Editrice Esculapio, 2002, ISBN 88-7488-031-6.*
+
View
16 site/learn/companies.md
@@ -93,15 +93,6 @@
</dl>
<dl class="row">
<dt class="span3">
- <img src="/img/users/cryptosense.png" alt="Cryptosense">
- </dt>
- <dd class="span5">
- <h2><a href="http://www.cryptosense.com/">Cryptosense</a>, France</h2>
- <p>Based in Paris, France, Cryptosense creates security analysis software with a particular focus on cryptographic systems. A spin-off of the institute for computer science research (Inria), Cryptosense’s founders combine more than 40 years experience in research and industry. Cryptosense provides its solutions to an international clientèle in particular in the financial, industrial and government sectors.</p>
- </dd>
-</dl>
-<dl class="row">
- <dt class="span3">
<img src="/img/users/dassault.png" alt="Dassault">
</dt>
<dd class="span5">
@@ -109,6 +100,7 @@
<p>Dassault Systèmes, the 3DEXPERIENCE Company, provides businesses and people with virtual universes to imagine sustainable innovations.</p>
</dd>
</dl>
+
<dl class="row">
<dt class="span3">
<img src="/img/users/hostnet.gif" alt="Digirati dba Hostnet">
@@ -158,7 +150,7 @@
</dl>
<dl class="row">
<dt class="span3">
- <img src="/img/default.png" alt="Framtidsforum">
+ <img src="/img/users/framtidsforum.png" alt="Framtidsforum">
</dt>
<dd class="span5">
<h2><a href="http://www.exceleverywhere.com">Framtidsforum I&amp;M</a>, Sweden</h2>
@@ -275,7 +267,7 @@
</dl>
<dl class="row">
<dt class="span3">
- <img src="/img/default.png" alt="Psellos">
+ <img src="/img/users/psellos.png" alt="Psellos">
</dt>
<dd class="span5">
<h2><a href="http://psellos.com">Psellos</a>, United States</h2>
@@ -293,7 +285,7 @@
</dl>
<dl class="row">
<dt class="span3">
- <img src="/img/default.png" alt="Sakhalin">
+ <img src="/img/users/sakhalin.png" alt="Sakhalin">
</dt>
<dd class="span5">
<h2><a href="http://www.seaiq.com/">Sakhalin</a>, United States</h2>
View
2  site/learn/description.md
@@ -67,7 +67,7 @@ large corporations develop significant industrial projects in OCaml:
these include Dassault Systèmes, Microsoft, IBM, and CEA (Commissariat à
l'Énergie Atomique).
-The [OCaml Consortium](support.html#consortium) offers industrial and
+The [OCaml Consortium](/community/support.html#consortium) offers industrial and
academic partners a formal framework for participating in the
development, maintenance, and evolution of OCaml. Partners also enjoy
very liberal licensing conditions regarding the OCaml software
View
8 site/learn/faq.md
@@ -241,14 +241,14 @@ instance printing something on the terminal or writing some memory
location), but have no mathematically meaningful result.<br />
In OCaml, there is no special treatment of procedures: they are just
considered as special cases of functions that return the special
-“meaningless” value [<code>()</code>](donnees_de_base-eng.html#units). For
+“meaningless” value `()`. For
instance, the `print_string` primitive that prints a character string on
the terminal, just returns `()` as a way of indicating that its job has
been properly completed.<br />
Procedures that do not need any meaningful argument, get `()` as dummy
argument. For instance, the `print_newline` procedure, that outputs a
newline on the terminal, gets no meaningful argument: it has type
-`unit -> unit`.<br />
+`unit -> unit`.<br />
Procedures with argument are defined exactly as ordinary functions. For
instance:
@@ -523,9 +523,9 @@ and on PCs under Windows. A brief tour on main
The OCaml system is open source software: the compiler is distributed
under the terms of the Q Public License, and its library is under LGPL;
-please read the [license](license.html) document for more details. A
+please read the [license](/docs/license.html) document for more details. A
BSD-style license is also available for a fee through the [OCaml
-Consortium](support.html#consortium).
+Consortium](/community/support.html#consortium).
### What is the meaning of the name “OCaml”
View
2  site/learn/index.md
@@ -11,7 +11,7 @@
<p>OCaml is a general purpose industrial-strength programming language with an emphasis on expressiveness and safety. <a href="companies.html">Used</a> in environments where a single mistake can cost millions and speed matters, it is supported by an <a href="/community/">active community</a> that has developed a <a href="https://opam.ocaml.org/pkg/">rich set of libraries</a>. <small><em><a href="description.html">Read more</a></em></small>.</p>
</section>
<div id="platform-download" class="span3">
- <p><a href="/docs/install.html" class="btn">Download OCaml</a></p>
+ <p><a href="/docs/install.html" class="btn">Install</a></p>
<!--
<p>
<a href="#">Other systems</a> |
View
2  site/learn/taste.md
@@ -200,6 +200,6 @@ fib --> 3
- : int = 3
```
Go and [try it in your browser](http://try.ocamlpro.com/) or
-[install](install.html) it and read some [tutorials](tutorials/).
+[install](/docs/install.html) it and read some [tutorials](tutorials/).
View
2  site/learn/tutorials/99problems.md
@@ -14,7 +14,7 @@ which in turn was based on “[Prolog problem
list](https://sites.google.com/site/prologsite/prolog-problems/)”. For
each of these questions, some simple tests are shown—they may also serve
to make the question clearer if needed. To work on these problems, we
-recommend you first [install OCaml](../install.html) or use it [inside
+recommend you first [install OCaml](/docs/install.html) or use it [inside
your browser](http://try.ocamlpro.com/). The source of the following
problems is available on
[GitHub](https://github.com/VictorNicollet/99-Problems-OCaml).
View
2  site/learn/tutorials/compiling_ocaml_projects.md
@@ -6,7 +6,7 @@ This tutorial describes the base compilation commands provided with
OCaml. It is useful to learn these commands to understand OCaml's
compilation model. However, eventually you will want to use a build tool
that automatically calls these commands internally. See [Compilation
-Tools](../dev_tools.html#compilation_tools) for more information on the
+Tools](dev_tools.html#compilation_tools) for more information on the
available options.
## Compilation basics
View
2  site/learn/tutorials/functional_programming.fr.md
@@ -410,7 +410,7 @@ Le diagramme ci-dessous (NDT: non-existant à l'écriture de la
traduction) montre un tableau de «unboxed» (en haut) face à des entiers
«unboxed» (en bas) :
-![Boxed Array](../img/boxedarray.png "")
+![Boxed Array](/img/boxedarray.png "")
Pas de prix pour avoir deviné que le tableau d'entiers «unboxed» est
plus rapide que le tableau d'entiers «boxed». De plus, parce qu'il y a
View
2  site/learn/tutorials/functional_programming.md
@@ -372,7 +372,7 @@ The function `printit` takes a boxed integer and prints it.
The diagram below shows an array of unboxed (top) vs. boxed (below)
integers:
-![Boxed Array](../img/boxedarray.png "")
+![Boxed Array](/img/boxedarray.png "")
No prizes for guessing that the array of unboxed integers is much faster
than the array of boxed integers. In addition, because there are fewer
View
2  site/learn/tutorials/garbage_collection.md
@@ -294,7 +294,7 @@ let nr_records = 10000
(* On-disk file. *)
let diskfile = openfile "users.bin" [ O_RDWR ] 0
```
-Download [users.bin.gz](../img/users.bin.gz) and decompress it before
+Download [users.bin.gz](/img/users.bin.gz) and decompress it before
running the program.
Our cache of records is very simple:
View
2  site/learn/tutorials/introduction_to_gtk.md
@@ -65,7 +65,7 @@ ocamlc -g -w s -I +lablgtk lablgtk.cma gtkInit.cmo simple.ml -o simple
```
This is what you should see when you run it:
-![Simple lablgtk program](../img/simplee29b.gif "")
+![Simple lablgtk program](/img/simplee29b.gif "")
Let's analyse the program line by line to see what's going on.
View
5 site/learn/tutorials/ocaml_and_the_web.md
@@ -46,8 +46,9 @@ fully supports packages installed with [ocamlfind
so that lots of fancy libraries could be loaded very easily, from the
script.
-[Discuss this
-page](ocaml_and_the_web/discussion.html "ocaml_and_the_web/discussion")
+<!--
+[Discuss this page](ocaml_and_the_web/discussion.html "ocaml_and_the_web/discussion")
+-->
## Web Servers and Frameworks
The [PPS Computer Science
View
7 site/meetings/index.md
@@ -2,11 +2,6 @@
# OCaml Meetings
## In Europe
-
-* 2013: [OCaml Users and Developers
- Workshop](ocaml/2013/) (OUD) and [Commercial Users of
- Functional Programming](http://cufp.org) (CUFP) colocated with ICFP
- in Boston (MA, USA).
* 2013, May 21, 7:30 PM: [&quot;Rencontre de
Mai&quot;](http://www.meetup.com/ocaml-paris/events/116100692/), IRILL
23, avenue d'Italie 75013 Paris. Organized by [OCaml Users in PariS
@@ -18,7 +13,7 @@
* 2012: [OCaml Users and Developers
Workshop](http://oud.ocaml.org/2012/) (OUD) and [Commercial Users of
Functional Programming](http://cufp.org) (CUFP) colocated with ICFP
- in Copenhagen (Denmark).
+ in Copenhagen (Denmark)
* 2011: [Paris](https://forge.ocamlcore.org/plugins/mediawiki/wiki/ocaml-meeting/index.php/OCamlMeeting2011),
[Slides](http://forge.ocamlcore.org/docman/?group_id=77&view=listfile&dirid=292)
* 2010: [Paris](http://lambda-the-ultimate.org/node/3826),
View
4 site/platform/index.md
@@ -8,11 +8,11 @@
</div>
<section id="platform-leader" class="span7">
<h1>OCaml Platform</h1>
- <p>The OCaml Platform represents the best way for developers, both new and old, to write software in OCaml. It combines the core OCaml compiler with a coherent set of tools, documentation, libraries and testing resources. It’s a project led by the <a href="/community/support">OCaml Labs</a> group in Cambridge, working closely with <a href="/community/support">OCaml-Pro</a> in France, and the requirements of the Platform are being guided by the industrial OCaml Consortium.</p>
+ <p>The OCaml Platform represents the best way for developers, both new and old, to write software in OCaml. It combines the core OCaml compiler with a coherent set of tools, documentation, libraries and testing resources. It’s a project led by the <a href="/community/support.html">OCaml Labs</a> group in Cambridge, working closely with <a href="/community/support.html">OCaml-Pro</a> in France, and the requirements of the Platform are being guided by the industrial OCaml Consortium.</p>
<p>Creating and maintaining the Platform is an ambitious, long-term project. The v0.1 is not taking arbitrary decisions about which packages are included. Instead, we are first placing the industrial contributors on a common tool-chain and workflow so that it's easier to work together and share code. We expect a standard set of libraries to emerge from consensus over time as this workflow rises in adoption.</p>
</section>
<div id="platform-download" class="span3">
- <p><a href="/docs/install.html" class="btn">Download OCaml</a></p>
+ <p><a href="/docs/install.html" class="btn">Install</a></p>
<p>
<!-- <a href="#">Other systems</a> |
<a href="#">What's new?</a> -->
View
4 site/releases/3.12.1.md
@@ -4,9 +4,9 @@
**License**<br />
The OCaml system is open source software: the compiler is distributed
under the terms of the Q Public License, and its library is under LGPL;
-please read the [license](../license.html) document for more details. A
+please read the [license](/docs/license.html) document for more details. A
BSD-style license is also available for a fee through the [OCaml
-Consortium](../support.html#consortium).
+Consortium](/community/support.html#consortium).
This page describes OCaml version **3.12.1**, released on 2011-07-04. Go
[here](./) for the latest OCaml release and
View
4 site/releases/4.00.1.md
@@ -4,9 +4,9 @@
**License**<br />
The OCaml system is open source software: the compiler is distributed
under the terms of the Q Public License, and its library is under LGPL;
-please read the [license](../license.html) document for more details. A
+please read the [license](/docs/license.html) document for more details. A
BSD-style license is also available for a fee through the [OCaml
-Consortium](../support.html#consortium).
+Consortium](/community/support.html#consortium).
The most recent released version of OCaml is OCaml 4.00.1, released on
2012-10-05.
View
2  site/releases/caml-light/index.md
@@ -15,7 +15,7 @@ system, and another 100K of bytecode for the compiler. Two megabytes of
memory is enough to recompile the whole system.
Debugging is possible by [tracing function calls in the same way as in
-OCaml](../debug.html). In the example therein, one should write
+OCaml](/learn/tutorials/debug.html). In the example therein, one should write
`trace "fib";;` instead of `#trace fib;;` and `untrace "fib";;`
instead of `#untrace fib;;`. There also exists a debugger, as a user
contribution.
View
10 site/releases/caml-light/releases/0.75.md
@@ -8,11 +8,11 @@ The Caml Light system is open source software, please read its
The latest version of Caml Light is **0.75**. This is a stable version,
released on 2002-01-26.
-## ![](../../img/source.gif "")Sources
+## ![](/img/source.gif "")Sources
[Source
tarball](http://caml.inria.fr/pub/distrib/caml-light-0.75//cl75unix.tar.gz).
-## ![](../../img/macos.gif "")Precompiled binaries for MacOS X
+## ![](/img/macos.gif "")Precompiled binaries for MacOS X
Binary package compiled on Mac OS 10.5.1 (Caml-light 0.80):
* [for
@@ -20,10 +20,10 @@ Binary package compiled on Mac OS 10.5.1 (Caml-light 0.80):
* [for
PowerPc](http://caml.inria.fr/pub/distrib/caml-light-0.80//camllight-0.80-10.5-ppc.dmg)
-## ![](../../img/linux.gif "")Precompiled packages for Ubuntu Linux
+## ![](/img/linux.gif "")Precompiled packages for Ubuntu Linux
Available at [Ubuntu.fr](http://doc.ubuntu-fr.org/caml_light).
-## ![](../../img/windows.gif "")Precompiled binaries for Microsoft Windows
+## ![](/img/windows.gif "")Precompiled binaries for Microsoft Windows
[Self
installer](http://caml.inria.fr/pub/distrib/caml-light-0.74//cl74win.exe)
for Windows 95, 98, NT, 2000, XP, Vista. This is Caml Light version
@@ -31,7 +31,7 @@ for Windows 95, 98, NT, 2000, XP, Vista. This is Caml Light version
spaces in its name. So, don't install in `C:\Program Files`; the default
installation directory `C:\CamlLight` should be fine.
-## ![](../../img/doc.gif "")User's manual
+## ![](/img/doc.gif "")User's manual
The user's manual for Caml Light can be:
* [browsed online](http://caml.inria.fr/pub/docs/manual-caml-light/),
Please sign in to comment.
Something went wrong with that request. Please try again.