<div>Un collègue de travail me demandait de lui envoyer des liens sur le sujet, et vu que j'ai mis qques minutes</div><div>à trier parmi mes bookmarks, je partage avec la liste du Gull.</div><div><br></div><div><a href="http://caml.inria.fr/">http://caml.inria.fr/</a></div>
<div><br></div><div>une calculette RPN basique en 40 langages:</div><div><a href="http://www.stacken.kth.se/~foo/rpn/#O_Caml">http://www.stacken.kth.se/~foo/rpn/#O_Caml</a></div><div><br></div><div>des exemples/idioms de code transcrit en différents langages:</div>
<div><a href="http://pleac.sourceforge.net/pleac_ocaml/index.html">http://pleac.sourceforge.net/pleac_ocaml/index.html</a></div><div><br></div><div>des introductions:</div><div><a href="http://ocaml-tutorial.org/">http://ocaml-tutorial.org/</a></div>
<div><br></div><div>derrière l'intérêt du typage statique fort:</div><div><a href="http://en.wikibooks.org/wiki/Haskell/The_Curry-Howard_isomorphism">http://en.wikibooks.org/wiki/Haskell/The_Curry-Howard_isomorphism</a>?</div>
<div><br></div><div>l'inférence de type automatique:</div><div><a href="http://www.codecommit.com/blog/scala/what-is-hindley-milner-and-why-is-it-cool">http://www.codecommit.com/blog/scala/what-is-hindley-milner-and-why-is-it-cool</a></div>
<div><br></div><div>cours de programmation fonctionelle:</div><div><a href="http://www.inf.ed.ac.uk/teaching/courses/inf1/fp/">http://www.inf.ed.ac.uk/teaching/courses/inf1/fp/</a></div><div><a href="http://www.cl.cam.ac.uk/teaching/Lectures/funprog-jrh-1996/">http://www.cl.cam.ac.uk/teaching/Lectures/funprog-jrh-1996/</a></div>
<div><br></div><div>le zoo des mini-langages:</div><div><a href="http://andrej.com/plzoo/">http://andrej.com/plzoo/</a></div><div><br></div><div>tiny ML:</div><div><a href="http://www.laserpirate.com/tinyml.html">http://www.laserpirate.com/tinyml.html</a></div>
<div><br></div><div>minCaml:</div><div><a href="http://min-caml.sourceforge.net/index-e.html">http://min-caml.sourceforge.net/index-e.html</a></div><div><br></div><div>Un décodeur MP3 basique en haskell:</div><div><a href="http://blog.bjrn.se/2008/10/lets-build-mp3-decoder.html">http://blog.bjrn.se/2008/10/lets-build-mp3-decoder.html</a></div>
<div><br></div><div><div>source to source translation camlp4/5:</div><div><a href="http://log.jonriehl.com/?p=19">http://log.jonriehl.com/?p=19</a></div></div><div><br></div><div>historique de caml et objective caml:</div>
<div><a href="http://www.pps.jussieu.fr/~cousinea/Caml/caml_history.html">http://www.pps.jussieu.fr/~cousinea/Caml/caml_history.html</a></div><div><br></div><div>interview de robin milner, le père de ML:</div><div><a href="http://www.informatics.sussex.ac.uk/users/mfb21/interviews/milner/">http://www.informatics.sussex.ac.uk/users/mfb21/interviews/milner/</a></div>
<div><br></div><div>dans l'industrie:</div><div><a href="http://www.esterel-technologies.com/products/scade-suite/">http://www.esterel-technologies.com/products/scade-suite/</a></div><div><a href="http://www.fftw.org/">http://www.fftw.org/</a></div>
<div><br></div><div>(ocaml c'est comme le petit pimousse de la pie qui chante: petit mais costaud)</div><div>(tu sais ce qu'il te dit le C assis?)</div><div><br></div><div><br></div>