Permalink
Switch branches/tags
Nothing to show
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
190 lines (181 sloc) 9.6 KB

Apprendre

Qu'est-ce que OCaml ? OCaml est un langage générique de programmation, de puissance industrielle, qui met l'accent sur l'expressivité et la sûreté. C'est la technologie de choix pour les entreprises où la qualité du code, sa performance et sa maintenabilité sont critiques. La communauté est très active, et a développé un riche écosystème de bibliothèques. Lire plus.

Présentations & Videos

<iframe src="//www.slideshare.net/slideshow/embed_code/43836300" width="340" height="290" frameborder="0" marginwidth="0" marginheight="0" scrolling="no" style="border:1px solid #CCC; border-width:1px; margin-bottom:5px; max-width: 100%;" allowfullscreen> </iframe>

     <p>Un exposé de Xavier Leroy présentant les dernières
     nouveautés d'OCaml à la 
	 <a href="/meetings/ocaml/2014/"
     >réunion annuelle des développeurs OCaml 2014</a>
     à Gothenburg, Suède
	 (<a href="/meetings/ocaml/2014/OCaml2014-Leroy-slides.pdf"
	 target="_blank">en PDF</a>,
     <a href="https://www.youtube.com/watch?v=DMzZy1bqj6Q&list=UUP9g4dLR7xt6KzCYntNqYcw"
     target="_blank">Vidéo</a>).
	 </p>
  <p class="documentation-video video16-9"
     style="padding-bottom: 50%"><!-- Adjust => avoid horiz bars -->
    <iframe src="//player.vimeo.com/video/14313378?portrait=0&amp;color=ff9933"
	    frameborder="0" webkitallowfullscreen
	    mozallowfullscreen allowfullscreen></iframe>
  </p>
		<p>Un cours invité donné par Yaron Minsky, de Jane Street, sur comment programmer efficacement en ML. L'exposé a été donné à Harvard, pendant le cours d'introduction à l'informatique, CS51, où les étudiants passent un semestre à programmer en OCaml.</p>
      <footer>
        <p>
          <a href="/community/media.html">Voir plus de présentations et de vidéos</a></p>
      </footer>
    </section>
    <section class="span4 condensed">
      <h1 class="ruled"><a href="companies.html">Utilisateurs industriels</a></h1> <p><a href="http://janestreet.com"><img style="float:
      left; margin-right: 10px; margin-bottom: 10px"
      src="/img/users/jane-street.jpg"></a>Jane Street est une société
  d'arbitrage financier qui met l'accent sur la résolution
  de problèmes technologiques et collaboratifs. Presque tous
  leurs systèmes sont écrits en OCaml : du code de recherche
  statistique qui opère sur des téra-octects de données aux
  outils de gestion système, comme l'infrastructure
  de transactions en temps réel. Et la plupart de ces systèmes
  sont déployés à l'échelle réelle : dans une journée
  classique, leurs transactions représentent entre 1% et 2%
  du volume du marché américain.</p>

      <p><a href="https://www.facebook.com"><img style="float:
      left; margin-right: 10px; margin-bottom: 10px"
      src="/img/users/facebook.png"
					     ></a>Pour gérer
        son énorme base de code PHP, Facebook a développé
        <a href="https://github.com/facebook/pfff/wiki/Main"
		 >pfff</a>,
        un ensemble d'outils et d'APIs pour effectuer des analyses
    statiques, des analyses dynamiques, de la visualisation de
    code, naviguer dans le code, et des transformations
    source-à-source préservant le style. Facebook a aussi
    conçu <em>Hack</em>, un nouveau langage de programmation
    statiquement typé pour HHVM, une machine PHP très rapide.
    Voir
    <a href="http://www.youtube.com/watch?v=gKWNjFagR9k"
       >l'exposé à CUFP</a> de Julien Verlaguet et
    <a href="http://cufp.org/2013/slides/verlaguet.pdf"
       >sa présentation</a>.</p>

  <footer>
        <p><a href="companies.html"
	  >Voir plus de sociétés qui utilisent OCaml</a></p>
      </footer>
    </section>

    <section class="span4 condensed">
  <h1 class="ruled"><a href="success.html">Les réussites d'OCaml</a></h1>
  <p><a href="/img/unison.png"
  ><img style="float: left; margin-right: 10px; margin-bottom: 10px"
  src="/img/unison-thumb.jpg"
  alt="Screenshot" title="La fenêtre principale d'Unison"></a>
    <a href="http://www.cis.upenn.edu/%7Ebcpierce/unison/"
       >Unison</a> est un synchroniseur de fichiers innovant, basé
       sur
       <a href="http://www.cis.upenn.edu/~bcpierce/papers/index.shtml#Synchronization"
	  target="_blank"
	  >la plus récente recherche</a>. Il tolère les pannes
       et fonctionne aussi bien sous Windows que sous la plupart
       des variantes d'Unix, en incluant MacOSX.
       OCaml a permis à ses auteurs d'
       « organiser une base de code importante et complexe ».
  </p>

  <p><a href="/img/lexifi.jpg"
	><img style="float: left; margin-right: 10px; margin-bottom: 3px"
	      src="/img/lexifi-thumb.jpg"
	      title="Screenshot of Lexifi's application"></a>
    Développé par <a href="http://www.lexifi.com/"
		    >LexiFi</a>, le "Modeling Language
    for Finance" (MLFi) est le premier langage formel qui
    décrit précisément les produits financiers les plus
    sophistiqués. MLFi est développé comme un extension
    du langage OCaml.
  </p>

  <p><img src="/img/fftw-thumb.png"
	  style="float: left; margin-right: 10px; margin-bottom: 3px"
	  title="FFTW" />
    <a href="http://www.fftw.org/">FFTW</a>
    est une bibliothèque pour effectuer la transformée de Fourier,
    développée au MIT, qui rivalise avec les meilleures
    bibliothèques propriétaires, tout en restant
    plateforme indépendante.
    Le code est généré par <code>genfft</code>,
    développé en OCaml, qui
    <a href="http://www.fftw.org/pldi99.ps.gz"
       >« découvre » des algorithmes qui étaient inconnus
       auparavant</a>.
    Elle a été couronnée
    <a href="http://www.mcs.anl.gov/about-us/j-h-wilkinson-prize-numerical-software"
       >par le prix J. H. Wilkinson du logiciel numérique</a>,
    qui prime les développements qui excèlent dans toutes les phases
    de la préparation d'un logiciel numérique de haute qualité.
  </p>
  <footer>
        <p><a href="success.html">Voir plus de réussites d'OCaml</a></p>
      </footer>
    </section>
</div>