[gull] Liens ocaml et prog. fonctionelle en général

kelvin bitnick kelvin.bitnick at gmail.com
Thu Mar 19 23:35:49 CET 2009


Un collègue de travail me demandait de lui envoyer des liens sur le sujet,
et vu que j'ai mis qques minutes
à trier parmi mes bookmarks, je partage avec la liste du Gull.

http://caml.inria.fr/

une calculette RPN basique en 40 langages:
http://www.stacken.kth.se/~foo/rpn/#O_Caml

des exemples/idioms de code transcrit en différents langages:
http://pleac.sourceforge.net/pleac_ocaml/index.html

des introductions:
http://ocaml-tutorial.org/

derrière l'intérêt du typage statique fort:
http://en.wikibooks.org/wiki/Haskell/The_Curry-Howard_isomorphism?

l'inférence de type automatique:
http://www.codecommit.com/blog/scala/what-is-hindley-milner-and-why-is-it-cool

cours de programmation fonctionelle:
http://www.inf.ed.ac.uk/teaching/courses/inf1/fp/
http://www.cl.cam.ac.uk/teaching/Lectures/funprog-jrh-1996/

le zoo des mini-langages:
http://andrej.com/plzoo/

tiny ML:
http://www.laserpirate.com/tinyml.html

minCaml:
http://min-caml.sourceforge.net/index-e.html

Un décodeur MP3 basique en haskell:
http://blog.bjrn.se/2008/10/lets-build-mp3-decoder.html

source to source translation camlp4/5:
http://log.jonriehl.com/?p=19

historique de caml et objective caml:
http://www.pps.jussieu.fr/~cousinea/Caml/caml_history.html

interview de robin milner, le père de ML:
http://www.informatics.sussex.ac.uk/users/mfb21/interviews/milner/

dans l'industrie:
http://www.esterel-technologies.com/products/scade-suite/
http://www.fftw.org/

(ocaml c'est comme le petit pimousse de la pie qui chante: petit mais
costaud)
(tu sais ce qu'il te dit le C assis?)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://forum.linux-gull.ch/pipermail/gull/attachments/20090319/450a4dec/attachment.htm>


More information about the gull mailing list