•  

La programmation guidée par les types, avec OCaml

A session at Open World Forum 2013

  • Fabrice Le Fessant

Saturday 5th October, 2013

2:00pm to 2:40pm (PMT)

OCaml est un langage statiquement typé, développé à l'INRIA, et utilisé massivement pour la programmation des logiciels les plus complexes (compilateurs et analyseurs de code embarqué, prouveurs de théorèmes, trading automatique, etc.) pour garantir fiabilité et performance. En OCaml, le paradigme de programmation est "la programmation guidée par les types", le programmeur définit les types que son application manipule, parmi un large éventail de possibilités, puis il peut coder tranquillement, en se laissant guider par le compilateur, pour obtenir un programme correct et performant sans effort.

Cet exposé est une introduction à OCaml et à la programmation guidée par les types.

About the speaker

This person is speaking at this event.
Fabrice Le Fessant

Unknown, None

Next session in Gopher (2.06)

2:45pm Transformer l'historique de votre code source avec git replace by Christian Couder

Sign in to add slides, notes or videos to this session

Sign in to track this session

Open World Forum 2013

France France, Paris

3rd5th October 2013

Tell your friends!

When

Time 2:00pm2:40pm PMT

Date Sat 5th October 2013

Where

Gopher (2.06), Beffroi de Montrouge

Short URL

lanyrd.com/scqptg

Official event site

www.openworldforum.org

View the schedule

Share

See something wrong?

Report an issue with this session