Journal Quelques projets intéressants en OCaml

Posté par (page perso) . Licence CC by-sa
32
28
fév.
2013

Ocaml est souvent enseigné aux étudiant par un prof chiant qui nous impose une soupe théorique qu'on est pas forcément prêt à avaler (plus tard, on comprend son intérêt, mais plus tard).
C'est pourtant un langage puissant et généraliste, tout à fait adapté à faire des logiciels de la vraie vie. Et non, il n'y a pas que ML Donkey.

Je recense donc dans ce journal bookmark quelques projets sympa en OCaml, très divers, mais utiles.
Je précise que je (...)

Journal Cartographie de la métadynamique

Posté par (page perso) . Licence CC by-sa
3
20
fév.
2013

Sommaire

Les sciences humaines sont un domaine en définitive assez difficile à qualifier scientifiquement.
Pour les scientifiques que nous sommes, beaucoup de constructions des sciences humaines et sociales tiennent sur du vide.
A leur décharge, même en le maitrisant, les chercheurs n'ont pas le confort de travailler dans un domaine ou l'axiomatique et les règles de raisonnements peuvent être clairement formalisées, voire testées par une machine.
Tout (...)

Journal The Future of Functional Programming Languages

Posté par (page perso) . Licence CC by-sa
26
18
oct.
2012

Juste un journal bookmark pour signaler cette très intéressante discussion entre un groupe de personnes qu’il est assez unique de voir ensemble : Xavier Leroy (OCaml), David MacQueen (un des concepteur de ML), Martin Odersky (Scala), Simon Peyton‐Jones(Haskell) et Don Syme (F#).

La discussion est intitulée « The Future of Functional Programming Languages ». Y sont abordés les succès et insuccès de l’approche fonctionnelle, comment elle infuse ailleurs, quelles sont les perspectives, etc.

Cela se passe ici, et c’est disponible en divers formats.

Journal PHP, A Fractal Of Bad Design

Posté par (page perso) .
0
12
sept.
2012

Oui journal, nous ne sommes pas vendredi, mais un bon troll, fais toujours du bien en cette rentrée trépidante.

Le sujet du troll est comme le titre l'indique, PHP.

Si ce "langage" n'avait pas tant de succès, on appellerait mon appeau à troll "tirer sur une ambulance", mais voilà, avec 6% et une position de 6ème langage le plus utilisé dans le monde, PHP sévit encore.

PHP, a fractal of bad design est un magnifique texte, tout de colère (...)

Journal Les types fantômes

Posté par (page perso) . Licence CC by-sa
Tags :
19
25
août
2012

Dans une application de gestion (au sens large) qui traite nombre informations, on peut facilement se retrouver avec moult variables textuelles voyageant dans le code au gré des traitements.

Le risque arrive vite d'avoir pléthores de fonctions prenant des chaînes en argument. Évidemment une chaîne étant équivalente à une autre, les fautes d'étourderies et autres valeurs mal traitées traitées (inversions, oublis), impliquent assez vite des erreurs survenant à l'exécution.

En paradigme objet, on peut s'amuser à créer un objet par (...)

Journal Une structure de données générique ?

Posté par (page perso) .
Tags :
5
3
juil.
2012

On est souvent confronté dans le développement à des besoins constants d'évolution de structures de données. C'est pourquoi on possède maintenant de nombreux outils qui gèrent la migration, la colle objet-relationnel et autres problématiques purement techniques.

Mais peut-on construire une structure de donnée totalement générique, étanche à l'évolution des données à encoder ?
J'entend généricité par sa capacité à exprimer n'importe quel contenu sémantique.

M'étant pas mal amusé avec Attempto Controlled English, je m'en suis inspiré pour construire une structure (...)

Journal 75 % des français sont favorables au protectionnisme Européen

Posté par (page perso) .
Tags :
21
21
juin
2011

D'après un sondage publié dans Marriane de cette semaine, 75 % des français sont favorable au protectionnisme Européen. Ce sondage a été financé sur leur denier personnels par une vingtaine d'économistes et chercheurs réunnis au sein de l'association "Manifeste pour un débat sur le libre-échange".

On trouve parmi eux : Emmanuel Todd, Jacques Sapir, Bernard Cassen, Pascal Fourrier, Jacques Généreux, Jean-luc Greau, Edouard Husson, Hervé Juvin, Akim El Karaoui, Gérard Lafay, Frédéric Viale, Julien Landfried, Aurélien Bernier, David Cayla, etc...

(...)

Journal Des paradigmes alternatifs

Posté par (page perso) . Licence CC by-sa
48
25
mai
2011

On connait tous les paradigmes de programmation les plus populaires (objet, impératifs, fonctionnels, logiques), mais la créativité n'est heureusement pas limité et il en existe d'autre très intéressants.

Voici une petite liste non exhaustive de quelques paradigmes curieux, mais assez stimulants pour tout créateur de langage un peu fou.

La plus connue est sans doute la programmation événementielle, elle a sa page wikipedia en français programmation événementielle. Elle consiste à baser le flot du programme sur des évènement en (...)

Journal Nouvelle économie : Mythe ou réalité ?

Posté par (page perso) . Licence CC by-sa
17
22
mar.
2011

Chère moules, les plus vieux d'entre vous, c'est à dire ceux qui ont plus de trente ans, se souviennent surement de la mine extasié des journalistes à l'orée des années 2000 dès que l'on parlait de l'internet.

Les concepts de "nouvelle économie" étaient entre autres popularisé sur un ton dithyrambique par Michel Bon, alors PDG de France Télécom, viré après la bulle pour avoir failli coulé la boite.
Il était entendu, d'après les plus grands visionnaires de l'époque, que la (...)

Journal Nucléaire : Problèmes moteurs de secours des centrales française 900MW

Posté par (page perso) .
13
19
mar.
2011

Chères moules, juste un petit journal rapide pour vous signaler une information que j'ai d'abord reçu par bouche à oreille, en l'occurrence, mon paternel qui a travaillé comme inspecteur qualité à EDF durant quelques décennies.

Les circuits de refroidissement - ceux qui sont hors service au japon et qui posent problème - sont des systèmes électrique ayant pour charge de refroidir le réacteur en envoyant de l'eau liquide.

Toutes les tranches de centrales nucléaires - 900 MW pour les plus (...)

Journal Les SSII, précurseurs d'un modèle social

Posté par (page perso) .
Tags :
28
26
fév.
2011

Un très intéressant article dans le monde promeut un nouveau livre, du journaliste Nicolas Séné, intitulé "Derrière l'écran de la révolution sociale".

Derrière l'analyse communément admise selon laquelle les SSII sont des vendeurs de viandes fraiches et instruite, on peut y voir l'avant garde d'un phénomène de suicide de la société occidental : la précarisation des cadres.

Le rêve du MEDEF : un salarié pas cher, corvéable à merci, licenciable n'importe quand, et recours possible au chômage partiel si besoin.

(...)

Journal Javascript n'est pas vraiment du prototype

Posté par (page perso) .
5
14
sept.
2010
Il y a environ un an, Nicolas Boulay avait affirmé que javascript n'était pas vraiment un langage à prototype.
Il avait reçu une volée de bois vert, du style "Wikipedia et tout le monde dit que c'est du prototype, donc ce que tu dit est débile". C'est d'ailleurs pour cela que j'ai choisi ce titre provocateur ;-)

Javascript est certes un langage à prototype, mais pas pleinement, en l'occurrence, il ne permet pas une fonctionnalité absolument essentiel de ce (...)

Journal Psychology of programming

Posté par (page perso) .
28
28
août
2010
En recherchant quelques docs sur les langages de programmations, je suis tombé sur un thème dont j'avais intuitivement soupçonné l'existence, sans jamais vraiment la vérifier : La recherche sur la psychologie de la programmation.

Il se trouve qu'un site http://www.ppig.org , abrite une conférence annuelle se tenant depuis environ 20 ans sur ce sujet. La plupart des papiers sont accessibles en PDF.
On y trouve des papiers absolument passionnants.

Je vais vous en introduire quelques uns parmi les plus intéressants (...)

Journal Chat80

Posté par (page perso) .
31
24
juin
2010
Chat80 est bien connu dans le monde de l'intelligence artificielle et le traitement automatique du langage naturel (TALN).
Ce logiciel a été écrit en Prolog entre 1978 et 1982 par Francisco Pereira et David H. Warren. Prolog en était alors à ses balbutiements, et encore assez peu considéré sérieusement par la communauté scientifique d'alors.

Chat80 possédait à l'époque une petite base de données prolog de géographie. On y trouvait quelques informations sur les pays frontaliers les un aux autres, leur (...)