478 lines
No EOL
20 KiB
HTML
478 lines
No EOL
20 KiB
HTML
<?xml version="1.0" encoding="utf-8"?>
|
|
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
|
|
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
|
|
<html xmlns="http://www.w3.org/1999/xhtml" lang="fr" xml:lang="fr">
|
|
<head>
|
|
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
|
|
|
|
|
|
<meta name="keywords" content="XML, Perl, programmation, arbre, théorie, mathématiques, regexp, script">
|
|
|
|
<link rel="shortcut icon" type="image/x-icon" href="/Scratch/img/favicon.ico" />
|
|
<link rel="stylesheet" type="text/css" href="/Scratch/assets/css/main.css" />
|
|
<link rel="stylesheet" type="text/css" href="/Scratch/css/solarized.css" />
|
|
<link rel="stylesheet" type="text/css" href="/Scratch/css/idc.css" />
|
|
<link href='http://fonts.googleapis.com/css?family=Inconsolata' rel='stylesheet' type='text/css'>
|
|
<link rel="alternate" type="application/rss+xml" title="RSS" href="http://feeds.feedburner.com/yannespositocomfr"/>
|
|
|
|
<link rel="alternate" lang="fr" xml:lang="fr" title="Arbres ; Pragmatisme et Formalisme" type="text/html" hreflang="fr" href="/Scratch/fr/blog/2010-05-24-Trees--Pragmatism-and-Formalism/" />
|
|
<link rel="alternate" lang="en" xml:lang="en" title="Trees; Pragmatism and Formalism" type="text/html" hreflang="en" href="/Scratch/en/blog/2010-05-24-Trees--Pragmatism-and-Formalism/" />
|
|
<script type="text/javascript" src="/Scratch/js/jquery-1.3.1.min.js"></script>
|
|
<script type="text/javascript" src="/Scratch/js/jquery.cookie.js"></script>
|
|
<script type="text/javascript" src="/Scratch/js/index.js"></script>
|
|
<script type="text/javascript" src="/Scratch/js/highlight/highlight.pack.js"></script>
|
|
<script type="text/javascript" src="/Scratch/js/article.js"></script>
|
|
<script type="text/javascript" src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML"></script>
|
|
<!--[if lt IE 9]>
|
|
<script src="http://ie7-js.googlecode.com/svn/version/2.1(beta4)/IE9.js"></script>
|
|
<![endif]-->
|
|
<title>Arbres ; Pragmatisme et Formalisme</title>
|
|
</head>
|
|
<body lang="fr" class="article">
|
|
<script type="text/javascript">// <![CDATA[
|
|
document.write('<div id="blackpage"><img src="/Scratch/img/loading.gif" alt="Chargement en cours..."/></div>');
|
|
// ]]>
|
|
</script>
|
|
|
|
<div id="content">
|
|
<div id="choix">
|
|
<div class="return"><a href="#entete">↓ Menu ↓</a></div>
|
|
<div id="choixlang"><a href="/Scratch/en/blog/2010-05-24-Trees--Pragmatism-and-Formalism/" onclick="setLanguage('en')">in English</a>
|
|
</div>
|
|
<div class="flush"></div>
|
|
</div>
|
|
<div id="titre">
|
|
<h1>
|
|
Arbres ; Pragmatisme et Formalisme
|
|
</h1>
|
|
|
|
<h2>
|
|
Quand la théorie est plus pratique que la pratique
|
|
</h2>
|
|
|
|
</div>
|
|
<div class="flush"></div>
|
|
|
|
|
|
|
|
|
|
|
|
<div class="flush"></div>
|
|
<div id="afterheader">
|
|
<div class="corps">
|
|
|
|
<div class="intro">
|
|
|
|
|
|
<p><span class="sc"><abbr title="Trop long à lire">tlàl</abbr> : </span> :</p>
|
|
|
|
<ul>
|
|
<li>J’ai essayé de programmer un simple filtre ;</li>
|
|
<li>J’ai été bloqué pendant deux jours ;</li>
|
|
<li>J’ai arrêté de penser comme un robot ;</li>
|
|
<li>J’ai utilisé un papier et un stylo ;</li>
|
|
<li>J’ai fait un peu de maths ;</li>
|
|
<li>J’ai résolu le problème en 10 minutes ;</li>
|
|
<li>Conclusion: Pragmatisme n’est pas : «n’utilisez jamais la théorie».
|
|
|
|
</div>
|
|
|
|
</ul>
|
|
|
|
<h2 id="rsum-plus-long-que-le--span-classscabbr-titletrop-long--liretllabbr--span">Résumé (plus long que le <span class="sc"><abbr title="Trop long à lire">tlàl</abbr> : </span>)</h2>
|
|
|
|
<p>Je devais résoudre un problème à mon travail. Au début cela
|
|
semblait assez facile. J’ai donc commencé à programmer
|
|
tout de suite. Je suis alors entré dans un cercle infernal d’essais
|
|
et de réparations. Voilà à quoi ressemblait cet étrange état
|
|
de boucle infini :</p>
|
|
|
|
<blockquote>
|
|
<p>– Plus que ça a réparer et ça devrait être bon.<br />
|
|
– Très bien, maintenant ça doit marcher.<br />
|
|
– Oui !!<br />
|
|
– Ah mince! J’ai oublié ce détail…<br />
|
|
<code>répéter jusqu'à la mort</code></p>
|
|
</blockquote>
|
|
|
|
<p>Après deux jours à me prendre pour <a href="http://fr.wikipedia.org/wiki/Sisyphe">Sisyphe</a>, je me suis arrêté pour repenser le problème.
|
|
J’ai pris un stylo et une feuille de papier. Je me suis souvenu de de ce que j’avais appris sur les arbres pendant mon doctorat.
|
|
Finalement, le problème fut résolu en moins de 20 minutes.</p>
|
|
|
|
<p>Je pense que la leçon à retenir de cette expérience est de se souvenir que la méthodologie la plus efficace pour résoudre ce problème <em>pragamtique</em> était la méthode <em>théorique</em>.
|
|
Ça ne signifie pas que la méthode théorique est toujours la meilleure, mais en tout cas, il ne faut pas l’écarter.</p>
|
|
|
|
|
|
</div>
|
|
|
|
<div class="corps">
|
|
|
|
|
|
<h1 class="first" id="lanecdote">L’anecdote</h1>
|
|
|
|
<p>Apparemment 90% des programmeurs sont incapable de programmer une recherche binaire sans faire de bug.
|
|
L’algorithme est pourtant connu et facile à comprendre.
|
|
Cependant, il est difficile à programmer sans bug.
|
|
J’ai participé à <a href="http://reprog.wordpress.com/2010/04/19/are-you-one-of-the-10-percent/">ce concours</a>.
|
|
Vous pouvez voir les <a href="http://reprog.wordpress.com/2010/04/21/binary-search-redux-part-1/">résultats ici</a><sup id="fnref:1"><a href="#fn:1" rel="footnote">1</a></sup>.
|
|
J’ai dû faire face à un problème similaire à mon travail.
|
|
Il paraissait simple au départ.
|
|
Transformer un <span class="sc">xml</span> d’un format à un autre.</p>
|
|
|
|
<p>Voici le format général du <span class="sc">xml</span> source :</p>
|
|
|
|
<pre><code class="xml"><rubrique>
|
|
<contenu>
|
|
<tag1>value1</tag1>
|
|
<tag2>value2</tag2>
|
|
...
|
|
</contenu>
|
|
<enfant>
|
|
<rubrique>
|
|
...
|
|
</rubrique>
|
|
...
|
|
<rubrique>
|
|
...
|
|
</rubrique>
|
|
</enfant>
|
|
</menu>
|
|
</code></pre>
|
|
|
|
<p>et le format d’arrivé est celui-ci :</p>
|
|
|
|
<pre><code class="xml"><item name="Menu0">
|
|
<value>
|
|
<item name="menu">
|
|
<value>
|
|
<item name="tag1">
|
|
<value>value1</value>
|
|
</item>
|
|
<item name="tag2">
|
|
<value>value2</value>
|
|
</item>
|
|
...
|
|
<item name="menu">
|
|
<value>
|
|
...
|
|
</value>
|
|
<value>
|
|
...
|
|
</value>
|
|
</item>
|
|
</value>
|
|
</item>
|
|
</value>
|
|
</item>
|
|
</code></pre>
|
|
|
|
<p>À première vue, cela m’a paru simple. J’étais certain de pouvoir y arriver en me fixant les règles suivantes :</p>
|
|
|
|
<ol>
|
|
<li>ne pas utiliser <span class="sc">xslt</span> ;</li>
|
|
<li>ne pas utiliser de parseur <span class="sc">xml</span> ;</li>
|
|
<li>résoudre le problème en utilisant un simple script perl</li>
|
|
</ol>
|
|
|
|
<p>Vous pouvez essayer si vous le souhaitez. Si vous attaquez ce problème directement en écrivant le programme, ce ne sera certainement pas si simple.
|
|
Je peux le dire, parce que c’est ce que j’ai fait.
|
|
Et je dois dire que j’ai perdu une journée de travail complète en m’y prenant de la sorte.
|
|
En réalité, il y avait pas mal de petits détails dont je ne parle pas qui m’ont induis en erreur et qui m’ont fait perdre encore plus de temps.</p>
|
|
|
|
<p>Pourquoi étais-je incapable de résoudre ce problème si simple en aparence ?</p>
|
|
|
|
<p>Voici comment je m’y suis pris :</p>
|
|
|
|
<ol>
|
|
<li>Réfléchir</li>
|
|
<li>Écrire le programme</li>
|
|
<li>Essayer le programme</li>
|
|
<li>Vérifier les résultats</li>
|
|
<li>Trouver un bug</li>
|
|
<li>Résoudre le bug</li>
|
|
<li>Reprendre à l’étape 3</li>
|
|
</ol>
|
|
|
|
<p>Il s’agissait d’une méthode de travail standard pour un ingénieur en informatique. L’erreur venait de la première étape.
|
|
J’ai d’abord pensé à comment résoudre le problème mais avec des yeux d’<em>ingéinieur pragmatique</em>. Je me suis simplement dit :</p>
|
|
|
|
<blockquote>
|
|
<p>Ça à l’air de pouvoir se résouvre avec un petit script de <em>search&replace</em> en perl
|
|
Commençons à écrire le code maintenant.</p>
|
|
</blockquote>
|
|
|
|
<p>C’est la deuxième phrase qui est complètement fausse. Parce que j’avais mal commencé et que cette méthodologie de travail ne fonctionne pas lorsque l’on part vraiment mal.</p>
|
|
|
|
<h2 id="rflchir">Réfléchir</h2>
|
|
|
|
<p>Après un certain temps, j’ai arrêté de programmer et je me suis dit : «Maintenant, ça suffit !».
|
|
J’ai pris une feuille et un stylo et j’ai commencé à dessiner des arbres.</p>
|
|
|
|
<p>J’ai commencer par simplifier un peu en enlevant le maximum de verbiage.
|
|
Tout d’abord en renommant <code><item name="Menu"></code> par un simple <code>M</code> par exemple.
|
|
J’ai obtenu quelque chose comme :</p>
|
|
|
|
<p><img alt="The source tree" src="/Scratch/fr/blog/2010-05-24-Trees--Pragmatism-and-Formalism/graph/The_source_tree.png" /></p>
|
|
|
|
<p>et</p>
|
|
|
|
<p><img alt="The destination tree" src="/Scratch/fr/blog/2010-05-24-Trees--Pragmatism-and-Formalism/graph/The_destination_tree.png" /></p>
|
|
|
|
<p>Puis, je me suis fait la réflexion suivante :</p>
|
|
|
|
<p>Dans les distances d’éditions sur les arbres, chaque opération atomique correspond à un simple <em>search and replace</em> sur mon fichier <span class="sc">xml</span> source<sup id="fnref:nb"><a href="#fn:nb" rel="footnote">2</a></sup>.
|
|
On considère trois opérations atomiques sur les arbres :</p>
|
|
|
|
<ul>
|
|
<li><em>substitution</em>: renommer un nœud</li>
|
|
<li><em>insertion</em>: ajouter un nœud</li>
|
|
<li><em>délétion</em>: supprimer un nœud</li>
|
|
</ul>
|
|
|
|
<p>Une des particularité avec les transformations sur les arbres est celle-ci :
|
|
supprimer un nœud et tous ses enfants deviendront les enfants du père de ce nœud.</p>
|
|
|
|
<p>Un exemple:</p>
|
|
|
|
<pre class="twilight">
|
|
r - x - a
|
|
\ \
|
|
\ b
|
|
y - c
|
|
</pre>
|
|
|
|
<p>Si vous supprimez le nœud <code>x</code>, vous obtenez</p>
|
|
|
|
<pre class="twilight">
|
|
a
|
|
/
|
|
r - b
|
|
\
|
|
y - c
|
|
</pre>
|
|
|
|
<p>Et regardez ce que ça implique quand on l’écrit en <span class="sc">xml</span> :</p>
|
|
|
|
<pre><code class="xml"><r>
|
|
<x>
|
|
<a>value for a</a>
|
|
<b>value for b</b>
|
|
</x>
|
|
<y>
|
|
<c>value for c</c>
|
|
</y>
|
|
</r>
|
|
</code></pre>
|
|
|
|
<p>Alors supprimer tous les nœuds <code>x</code> revient à faire passer le <span class="sc">xml</span> à travers le filtre suivant :</p>
|
|
|
|
<pre><code class="perl">s/<\/?x>//g
|
|
</code></pre>
|
|
|
|
<p>Par conséquent, s’il existe un transducteur déterministe à un état qui permet de transformer mes arbres ;
|
|
je suis capable de transformer le <span class="sc">xml</span> d’un format à l’autre en utilisant une simple liste de <em>search and replace</em>.</p>
|
|
|
|
<h1 id="solution">Solution</h1>
|
|
|
|
<p>Transformer cet arbre :</p>
|
|
|
|
<pre class="twilight">
|
|
R - C - tag1
|
|
\ \
|
|
\ tag2
|
|
E -- R - C - tag1
|
|
\ \ \
|
|
\ \ tag2
|
|
\ E ...
|
|
R - C - tag1
|
|
\ \
|
|
\ tag2
|
|
E ...
|
|
</pre>
|
|
|
|
<p>en celui-ci :</p>
|
|
|
|
<pre class="twilight">
|
|
tag1
|
|
/
|
|
M - V - M - V - tag2 tag1
|
|
\ /
|
|
M --- V - tag2
|
|
\ \
|
|
\ M
|
|
\ tag1
|
|
\ /
|
|
V - tag2
|
|
\
|
|
M
|
|
</pre>
|
|
|
|
<p>peut-être fait en utilisant le transducteur déterministe à un état suivant: </p>
|
|
|
|
<blockquote>
|
|
<p>C → ε<br />
|
|
E → M<br />
|
|
R → V </p>
|
|
</blockquote>
|
|
|
|
<p>Ce qui peut-être traduit par les simples directives Perl suivantes :</p>
|
|
|
|
<pre><code class="perl">s/C//g
|
|
s/E/M/g
|
|
s/R/V/g
|
|
</code></pre>
|
|
|
|
<p>Une fois adapté au <span class="sc">xml</span> cela devient :</p>
|
|
|
|
<pre><code class="perl">s%</?contenu>%%g
|
|
s%<enfant>%<item name="menu">%g
|
|
s%</enfant>%</item>%g
|
|
s%<rubrique>%<value>%g
|
|
s%</rubrique>%</value>%g
|
|
</code></pre>
|
|
|
|
<p>Et c’est tout.</p>
|
|
|
|
<h1 id="conclusion">Conclusion</h1>
|
|
|
|
<p>Même si cela peut sembler paradoxal, parfois la solution la plus efficace à un problème pragmatique est d’utiliser une méthodologie théorique.</p>
|
|
<hr/><div class="footnotes">
|
|
<ol>
|
|
<li id="fn:1">
|
|
<p>Normalement, je fais parti des 10% qui ont fourni une implémentation sans bug.<a href="#fnref:1" rel="reference">↩</a></p>
|
|
</li>
|
|
<li id="fn:nb">
|
|
<p>J’ai programmé un outil qui calcule automatiquement le poids de chaque élément des matrices d’édition à partir de données.<a href="#fnref:nb" rel="reference">↩</a></p>
|
|
</li>
|
|
</ol>
|
|
</div>
|
|
|
|
</div>
|
|
|
|
|
|
|
|
<div id="social">
|
|
<div class="left"> <a href="https://twitter.com/share" class="twitter-share-button" data-via="yogsototh">Tweet</a>
|
|
<script>!function(d,s,id){var js,fjs=d.getElementsByTagName(s)[0];if(!d.getElementById(id)){js=d.createElement(s);js.id=id;js.src="//platform.twitter.com/widgets.js";fjs.parentNode.insertBefore(js,fjs);}}(document,"script","twitter-wjs");</script>
|
|
</div>
|
|
<div class="left"> <div class="g-plusone" data-size="medium" data-annotation="inline" data-width="106"></div>
|
|
<script type="text/javascript">
|
|
(function() {
|
|
var po = document.createElement('script'); po.type = 'text/javascript'; po.async = true;
|
|
po.src = 'https://apis.google.com/js/plusone.js';
|
|
var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(po, s);
|
|
})();
|
|
</script>
|
|
</div>
|
|
<div class="flush"></div>
|
|
</div>
|
|
<div id="choixrss">
|
|
<a id="rss" href="http://feeds.feedburner.com/yannespositocomfr">
|
|
s'abonner
|
|
</a>
|
|
</div>
|
|
<script type="text/javascript">
|
|
$(document).ready(function(){
|
|
$('#comment').hide();
|
|
$('#clickcomment').click(showComments);
|
|
});
|
|
function showComments() {
|
|
$('#comment').show();
|
|
$('#clickcomment').fadeOut();
|
|
}
|
|
document.write('<div id="clickcomment">Commentaires & Partage</div>');
|
|
</script>
|
|
<div class="flush"></div>
|
|
|
|
<div class="corps" id="comment">
|
|
<h2 class="first">commentaires</h2>
|
|
<noscript>
|
|
Vous devez activer javascript pour commenter.
|
|
</noscript>
|
|
|
|
<script type="text/javascript">
|
|
var idcomments_acct = 'a307f0044511ff1b5cfca573fc0a52e7';
|
|
var idcomments_post_id = '/Scratch/fr/blog/2010-05-24-Trees--Pragmatism-and-Formalism/';
|
|
var idcomments_post_url = 'http://yannesposito.com/Scratch/fr/blog/2010-05-24-Trees--Pragmatism-and-Formalism/';
|
|
</script>
|
|
<span id="IDCommentsPostTitle" style="display:none"></span>
|
|
<script type='text/javascript' src='/Scratch/js/genericCommentWrapperV2.js'></script>
|
|
|
|
</div>
|
|
|
|
<div id="entete" class="corps_spaced">
|
|
<div id="liens">
|
|
<ul><li><a href="/Scratch/fr/">Bienvenue</a></li>
|
|
<li><a href="/Scratch/fr/blog/">Blog</a></li>
|
|
<li><a href="/Scratch/fr/softwares/">Softwares</a></li>
|
|
<li><a href="/Scratch/fr/about/">À propos</a></li></ul>
|
|
</div>
|
|
<div class="flush"></div>
|
|
<hr/>
|
|
<div id="next_before_articles">
|
|
<div id="previous_articles">
|
|
articles précédents
|
|
|
|
<div class="previous_article">
|
|
<a href="/Scratch/fr/blog/2010-05-19-How-to-cut-HTML-and-repair-it/"><span class="nicer">«</span> Comment réparer un XML coupé ?</a>
|
|
</div>
|
|
|
|
|
|
<div class="previous_article">
|
|
<a href="/Scratch/fr/blog/2010-05-17-at-least-this-blog-revive/"><span class="nicer">«</span> Je reviens à la vie !</a>
|
|
</div>
|
|
|
|
|
|
<div class="previous_article">
|
|
<a href="/Scratch/fr/blog/2010-03-23-Encapsulate-git/"><span class="nicer">«</span> Encapsuler git</a>
|
|
</div>
|
|
|
|
|
|
</div>
|
|
<div id="next_articles">
|
|
articles suivants
|
|
|
|
<div class="next_article">
|
|
<a href="/Scratch/fr/blog/2010-06-14-multi-language-choices/">choix liés à l'écriture dans plusieurs langues <span class="nicer">»</span></a>
|
|
</div>
|
|
|
|
|
|
<div class="next_article">
|
|
<a href="/Scratch/fr/blog/2010-06-15-Get-my-blog-engine/">Récupérez mon système de blog <span class="nicer">»</span></a>
|
|
</div>
|
|
|
|
|
|
<div class="next_article">
|
|
<a href="/Scratch/fr/blog/2010-06-17-track-events-with-google-analytics/">Analyser les clicks sur votre Site <span class="nicer">»</span></a>
|
|
</div>
|
|
|
|
|
|
</div>
|
|
<div class="flush"></div>
|
|
</div>
|
|
</div>
|
|
|
|
|
|
<div id="bottom">
|
|
<div>
|
|
<a href="https://twitter.com/yogsototh">Follow @yogsototh</a>
|
|
</div>
|
|
<div>
|
|
<a rel="license" href="http://creativecommons.org/licenses/by-sa/3.0/deed.fr">Droits de reproduction ©, Yann Esposito</a>
|
|
</div>
|
|
<div id="lastmod">
|
|
Écrit le : 24/05/2010
|
|
modifié le : 03/05/2012
|
|
</div>
|
|
<div>
|
|
Site entièrement réalisé avec
|
|
<a href="http://www.vim.org">Vim</a>
|
|
et
|
|
<a href="http://nanoc.stoneship.org">nanoc</a>
|
|
</div>
|
|
</div>
|
|
<div class="clear"></div>
|
|
</div>
|
|
</div>
|
|
</body>
|
|
</html> |