Régis-Gianas 2017

Ensemble, élisons Yann Régis-Gianas en 2017

Yann Régis-Gianas se présente (presque) à l’élection présidentielle de mai 2017; ensemble supportons-le pour que le choix des candidats en fonction de nos désirs ne soit pas un pattern-matching not exhaustive.

Parce qu’OCaml est notre avenir à tous

Parce que l’expérience le montre, 100% des entreprises informatiques se tournent vers la programmation fonctionnelle. Avec Yann Régis-Gianas président, c’est le monde entier qui se tournera vers celle-ci. Acheter des baguettes de pain imprimées en 3D via Scala est notre ambition à tous.

Parce qu’un programme prouvé, c’est mieux

Un programme se construit par composition : les spaghettis doivent rester dans nos assiettes. Dijkstra n’est pas un extrémiste, et les citoyens de première classe sont des citoyens comme les autres.

Pour que la politique soit plus qu’une grammaire ambiguë

Il n’y a pas de GOTO vers un monde idéal, mais Yann Régis-Gianas peut nous y aider. Comme Donald Knuth le disait il y a peu :

[…] and my dream is that by 2017 we will see a consensus developing for a really good French president candidate from the functional programming world.

Les années 80 ont vu naître Caml, Coq, et YRG. Ce n’est pas une coïncidence si le seul d’entre-eux qui peut se présenter en 2017 est Yann Régis-Gianas.

Parce qu’on a besoin d’Ocsigen pour vivre

Parce que nous ne sommes pas là pour apprendre à programmer en buvant du coca avec Justin POCA Bieber. Duff n’est pas qu’une marque de bière dans les Simpsons.