test

Cours F# et migration du blog

Sun, 25 Nov 2007 03:08:00 GMT

Cours F# Depuis quelques semaines, je r�dige un cours d'introduction � F#. C'est disponible sur mon site : Cours et tutoriels F# Voici les liens directs vers les chapitres : Introduction � F# et Hello world Types de base et expression D�clarations et expressions conditionnelles Les fonctions : utilisation et d�finition Fonctions anonymes, application partielle et op�rateurs Fonctions d'ordre sup�rieur et composition de fonctions Pattern matching Types �num�rables et compr�hensions de listes Migration J'ai commenc� � migrer un certain nombre de billets de ce blog vers mon site. Les nouveaux articles seront d�sormais �crits sur mon site (je les dupliquerai peut-�tre aussi ici pour la transition). Voir mes articles (c'est la partie "Divers"). Il va falloir mettre � jour vos flux RSS. L'int�r�t pour moi est surtout d'avoir plus de contr�le sur mes billets, sur leur mise en page (il y a la coloration syntaxique du F# !), d'avoir un flux RSS (et m�me plus) pour moi tout seul. De plus, l'interface de blog2geek n'est pas tr�s agr�able. Et enfin, il n'y a pas de pub ! :)

[Musique] Une solution pour la musique adaptative - suite

Sat, 27 Oct 2007 13:49:00 GMT

Partie 5 - Une solution - suite Cette page n'est qu'un miroir. Pour la derni�re version, veuillez lire Une solution pour la musique adaptative - suite sur mon site. � Le plus important, pour moi, est que le musicien connaisse pr�cis�ment le sc�nario du jeu et l'�tudie. Dans beaucoup de jeux amateurs, le musicien a juste une liste de musiques � faire, et elles sont souvent faites ind�pendamment du jeu (il a une vague description de ce qu'il doit faire). A contrario, dans les films, la musique � �tre faite en accord avec le reste. La musique est adapt�e � l'image, et l'image s'adapte aussi � la musique (par exemple, faire durer la sc�ne une seconde de plus pour que �a tombe bien). Je pense qu'il est pr�f�rable que la musique soit r�fl�chie une fois que le sc�nario d�taill� est pr�t. Il convient ensuite de lister les musiques � faire et de cr�er un graphe sur papier. Sur le graphe, chaque nœud repr�sente une musique, chaque arc indique qu'une transition sera n�cessaire. Il peut �tre int�ressant de pond�rer les arcs avec l'importance de la transition (qui est li�e avec la probabilit� de son apparition). Cela permet de se concentrer en priorit� sur les passages essentiels. Sur le graphe, il faut aussi noter si la transition doit �tre subtile (une simple �volution de la musique) ou si elle marque un changement (deux musiques diff�rentes). Lorsque l'on fait une simple �volution, il est pr�f�rable que les aspects de la musique soient compos�s en parall�le. Les deux musiques devraient avoir la m�me mesure et durer le m�me temps. Ainsi, lors d'une transition, on peut jouer la musique B � la position pr�cise o� s'est arr�t�e A. Cela permet de garder la continuit� de la musique, en particulier si la m�lodie est la m�me. Lorsque l'on fait un changement de musique, il est plus simple de commencer la musique B au d�but et marquer la transition (par exemple, avec une cymbale). Pour plus de vari�t�, il peut �tre int�ressant de noter plusieurs points de commencement possibles. Par exemple, au lieu de jouer B du d�but, on peut jouer B � partir d'une position t d�cid�e � l'avance. Cela permet, si le joueur fait des allers-retours entre deux zones, de briser la monotonie et de ne pas toujours jouer les m�mes passages (le d�but de la musique). De m�me, si les joueur est susceptible d'alterner entre deux zones, il est judicieux de pr�voir plusieurs transitions possibles. Le moteur de son en choisit alors une au hasard. Cela casse une certaine lin�arit� et une pr�dictibilit�. Cela g�n�re bien entendu un surplus de travail. Il est donc important de bien concevoir le graphe, de noter les relations entre les musiques pour travailler en d�tail les parties qui m�ritent l'attention. De m�me, puisque le graphe peut potentiellement �tre complexe, je conseille d'impl�menter une transition par d�faut (de type fondu). Cette transition sera jou�e quand aucune autre n'a �t� faite. � Conclusion La solution pr�sent�e est donc un bon compromis entre la playlist classique et le format tracker. Elle permet d'avoir une tr�s bonne qualit� de son, un faible co�t en CPU, et permet des transitions agr�ables. Cependant, il faut garder � l'esprit que cela demande beaucoup plus d'efforts pour le musicien. Chaque transition devra �tre travaill�e individuellement. Cela pose aussi des restrictions sur les musiques, qui ne pourront pas �tre aussi complexes que le musicien pourrait le souhaiter. Il est donc important de r�fl�chir et de d�cider � quels endroits une transition fluide est n�cessaire, et � quels endroits une discontinuit� dans la musique peut convenir. � P.S. : n'h�sitez pas � dire en commentaires si ces billets vous ont �t� utiles, ou si vous avez des choses � ajouter. �a me permettra de compl�ter si n�cessaire.

[Musique] Musique adaptative : une solution efficace

Sat, 27 Oct 2007 01:41:00 GMT

Partie 4 - Musique adaptative : une solution efficace Cette page n'est qu'un miroir. Pour la derni�re version, veuillez lire Une solution efficace pour la musique adaptative et les autres billets sur mon site. � Un compromis... Comme nous l'avons vu, la solution na�ve (une simple playlist, avec fondus) offre tr�s peu de flexibilit�, mais permet une tr�s bonne qualit� sonore. L'approche des modules garantit une grande souplesse, mais a un certain nombre de probl�mes. Comme souvent, il faut trouver le juste milieu et trouver un compromis. � mi-chemin entre la musique en mp3/ogg en un seul bloc, et la musique d�coup�e note par note, on peut imaginer une musique divis�e de fa�on plus subtile. On peut s�parer la musique de mani�re plus logique : d'un c�t�, les percussions, de l'autre l'accompagnement et les m�lodies. Ce d�coupage n'est pas le seul possible, �a d�pend du contexte et de ce que l'on veut faire. Mais partons de l�. Le concept est d'avoir plusieurs fichiers ogg que l'on lit simultan�ment pour retrouver le morceau d'origine. Techniquement, il n'y a aucune perte. La qualit� du son et celle de la composition sont potentiellement excellentes. Regardons maintenant ce que l'on peut faire au niveau des deux aspects de la musique adaptative : l'�volution d'une musique et la transition entre deux musiques. Pour faire �voluer une musique, plusieurs possibilit�s s'offrent � nous. Pour faire �voluer le rythme, c'est simple : il suffit d'avoir deux fichiers ogg, chacun correspond � un rythme diff�rent. La musique utilise le premier rythme, et passe au suivant quand la transition est requise. Il y a quand m�me une chose � respecter : il est pr�f�rable que la mesure ait la m�me dur�e dans les deux fichiers. Par ailleurs, il est n�cessaire que la transition se fasse entre deux mesures. Il faut donc ins�rer un d�lai de quelques secondes pour que la transition soit propre. Pour l'accompagnement, on peut utiliser la m�me technique : deux musiques, synchronis�es, utilisant les m�mes accords, mais ayant des ambiances diff�rentes. Par exemple, la m�me m�lodie jou�e par deux instruments diff�rents. Ou encore, le deuxi�me accompagnement peut avoir juste quelques instruments de plus. La transition entre les deux fichiers est assez simple : soit un remplacement brutal, de la m�me fa�on que pour les percussions ; soit un fondu (cross-fade) entre les deux fichiers. Le choix entre ces deux transitions d�pendra des fichiers. Cela suffit pour faire �voluer une musique, mais les transitions restent pauvres et n'atteignent pas ce que ferait un vrai compositeur. Pour obtenir un r�sultat beaucoup plus cr�dible, il faut ajouter une possibilit� : celle de jouer un sample, temporairement, pour la transition. Imaginons la transition suivante : Jouer imm�diatement un sample (de dur�e t). Par exemple, un son de percussions qui s'acc�l�rent progressivement. Jouer, au temps t, un sample. Par exemple, une cymbale. Arr�ter l'accompagnement actuel, au temps t. Jouer un autre accompagnement, au temps t. � Cela donne un r�sultat beaucoup plus cr�dible. Il faut bien s�r faire en sorte que le temps t co�ncide parfaitement avec la mesure. La transition entre deux musiques tr�s diff�rentes suit la m�me logique : il faut d�finir une suite d'effets � ex�cuter. � Lire la suite de billet : une solution efficace - suite

[Musique] Tracker et musique adaptative

Fri, 26 Oct 2007 22:20:00 GMT

Partie 3 - Tracker et musique adaptative Cette page n'est qu'un miroir. Pour la derni�re version, veuillez lire Tracker et musique adaptative et les autres billets sur mon site. � L'utilisation du format tracker pour transformer de la musique Le but est de g�n�rer (une partie) de la musique en temps-r�el, � l'ex�cution du jeu. Calculer la musique en temps r�el n'a finalement rien de nouveau : c'est ce que font les logiciels de MAO, et en particulier les trackers. Une id�e est donc de stocker, non pas un fichier mp3/ogg, mais plut�t la partition et l'ensemble des instruments. Le logiciel a donc beaucoup d'information pendant l'ex�cution et peut plus facilement effectuer des modifications sur le son. Pour que les choses soient claires : il n'est pas question ici de cr�er de la musique � partir de rien, mais plut�t d'adapter la musique � la situation. On ne souhaite fabriquer des m�lodies, mais moduler l'ambiance de la musique. Musicalement, une m�lodie cr��e par informatique est tr�s pauvre, sa qualit� est tr�s loin de ce que ferait un musicien professionnel. Nous voulons une musique riche et complexe, mais qui s'adapte pendant le jeu. Concr�tement, il y a deux points importants : il faut �tre capable d'une part de modifier subtilement l'ambiance d�gag�e par la musique, et d'autre part de fournir des transitions fluides entre les diff�rentes musiques. Si la musique est stock�e sous forme de module (.it, .xm...), un certain nombre d'op�rations sont faciles � impl�menter. On peut activer ou d�sactiver des channels � tout moment. Par exemple, si un personnage parle, il peut-�tre judicieux de couper momentan�ment les percussions (pour mieux entendre la voix). Il est facile aussi d'effectuer des modifications sur le volume des instruments : si dans la sc�ne un personnage joue du piano, le volume de piano pourrait varier en fonction de notre position ; il est possible aussi de jouer sur le panning, mais de fa�on tr�s douce (sinon, �a peut devenir tr�s d�sagr�able quand c'est une musique de fa�on). Mieux encore : il est possible de changer d'instrument � tout moment. Par exemple, une flute paisible pourra se transformer en trompette mena�ante � l'approche d'un ennemi. Ou encore, il est possible d'effectuer des transformations sur les notes elles-m�mes. Un changement de gamme de la m�lodie principale, ou le changement d'octave peuvent avoir des effets int�ressants sur l'atmosph�re cr��e. Enfin, il est possible d'influer directement sur le tempo : acc�l�ration et ralentissement de la musique sont assez enfantins � faire. L'autre aspect concerne les transitions entre les musiques. Comment passer d'une musique � une autre, de mani�re fluide ? Le fondu na�f �tant bien s�r � �viter. Dans un module, il est possible de d�finir des patterns suppl�mentaires, qui ne font pas vraiment partie de la musique. On peut donc les utiliser pour les transitions. Pour passer d'une musique A � une musique B, on peut jouer un pattern (compos� � l'avance) entre les deux. Limitations La principale limitation concerne la qualit� du son. Pour obtenir une bonne qualit� sonore avec un tracker, il est souvent n�cessaire d'utiliser des g�n�rateurs (de type VST). Cela se r�v�le tr�s couteux en terme de CPU, sans compter les probl�mes de licences pour les VST non libres. On peut convertir certains sons obtenus par ces VST en wave (ou les compresser), mais �a reste toujours limit�. On perd en qualit� de son et il faut limiter les effets sur la musique. Bref, on retrouve la qualit� des musiques de la fin des ann�es 90. C'est assez loin de ce qu'un bon compositeur peut faire. De plus, il n'est possible de retoucher la musique en studio, d'effectuer les r�glages et le mixage n�cessaires � une musique de bonne qualit�. Si cette solution pouvait se r�v�ler tr�s efficace pendant les 90, p�riodes o� les trackers r�gnaient en maitres, elle relativement mal adapt�e � la musique contemporaine. Dans 10 peut-�tre, on pourra g�n�rer de la musique de haute qualit�, � partir de sa partition, en temps r�el pendant les jeux. � l'heure actuelle, quand un compositeur cr�e une musique sur ordinateur, tout le CPU est utilis�. � Dans le prochain billet, je d�crirais une technique permettant d'adapter interactivement de la musique de tr�s bonne qualit�, en temps r�el et � faible co�t en CPU. � Lire la suite : Musique adaptative : une solution efficace

[Musique] Jeux vid�o et musique adaptative

Fri, 26 Oct 2007 18:01:00 GMT

Partie 2 : Jeux vid�o et musique adaptative Cette page n'est qu'un miroir. Pour la derni�re version, veuillez lire Jeux vid�o et musique adaptative et les autres billets sur mon site. � La probl�matique La musique dans les jeux vid�o a consid�rablement �volu� ces 15 derni�res ann�es. L'augmentation des espaces de stockage et l'utilisation g�n�ralis�e de format type mp3/ogg a permis d'utiliser dans les jeux des musiques de tr�s bonne qualit�, comparables � ce que l'on trouve au cin�ma. Pourtant, il existe une diff�rence de taille : au cin�ma, tout est pr�vu � l'avance et la musique peut �tre pr�calcul�e, pour correspondre pr�cis�ment � l'image. Dans un jeu vid�o, le joueur a un certain contr�le sur l'histoire ; il n'est donc pas possible, dans le cas g�n�ral, de pr�voir ses actions. On ne sait pas non plus quelle sera la vitesse de sa progression. Le probl�me est donc : comment faire �voluer interactivement la musique d'un jeu, en fonction des actions du joueur ? Une solution simple est de cr�er une playlist de musiques, chacune associ�e � une sc�ne, et d'effectuer des fondus quand il le faut. D'un point de vue musical, le fondu est une transition bien trop pauvre et coupe l'enchainement. Comment faire quelque chose de satisfaisant, � la fois sur le plan de la qualit� du son et au niveau de l'enchainement sonore ? Comme souvent en informatique, il est n�cessaire de trouver un compromis. Il faut limiter la taille des musiques sur le disque dur, il faut aussi limiter l'utilisation du CPU et ne pas faire trop de calculs... Il faut �galement que ce ne soit pas trop complexe � r�aliser, tant au niveau programmation, qu'au niveau composition de la musique. Enfin, en plus de toutes ces contraintes, on veut une bonne qualit� de son et une flexibilit� de la musique. �videmment, il n'y a pas de solution miracle. De plus, la � meilleure � solution va d�pendre des priorit�s et du type de jeu choisi. Dans le prochain billet, je d�taillerai une solution extr�mement puissante et flexible. Cela se fera au d�triment soit d'une qualit� de son moyenne, soit d'un surco�t au niveau CPU ou m�moire sur le disque. De plus, elle posera certaines contraintes sur la conception de la musique. � Lire la suite : Tracker et musique adaptative

[Musique] Le tracker

Wed, 24 Oct 2007 01:33:00 GMT

Cette page n'est qu'un miroir. Pour la derni�re version, veuillez lire Le tracker et les autres billets sur mon site. � Je vais �crire quelques billets sur le th�me � musique et informatique �. J'ai plusieurs choses � dire (et � demander) sur la musique dans les jeux vid�o (comment la rendre interactive, etc.). Ce premier billet va donc me servir d'introduction et d'historique. � Un peu d'histoire... C'est avec l'Amiga que la musique assist�e par ordinateur a pris son essor, en m�me temps que le reste de la demo scene. Le principe de base est tr�s simple : le logiciel (appel� � tracker �) est compos� de 4 pistes (ou canaux, ou channels). Sur chaque piste, des sons (samples) peuvent �tre jou�s. En faisant varier la fr�quence de ces sons, on obtient diff�rentes notes. Au d�part, les sons �taient tr�s simples : formes sinuso�dales, carr�s, triangulaires... Les samples �taient stock�s dans le m�me fichier que la partition, cela permettait d'avoir le m�me rendu sur toutes les machines (par opposition au format midi). Ces musiques, au format .mod (puis .s3m, .it, .xm...) pouvaient durer plusieurs minutes et tenir sur quelques kilo octets. Les ann�es 90 ont �t� marqu�es par la demo scene. La grande majorit� des jeux de l'�poque utilisaient aussi ce format. Progressivement, les trackers supportent 8 (Octamed), 16, puis en 1994, 32 channels avec FastTracker 2, qui devient un immense succ�s. Les contraintes de place diminuant, les sons (au format wave, en 8bit) deviennent plus riches et simulent de vrais instruments. FT2 poss�de aussi une cinquantaine d'effets sur le sons (vibrato, volume, panning, portamento...) ainsi qu'un contr�le des sons avec des enveloppes. Les ann�es 2000 permettent l'utilisation g�n�ralis�e de sons en 16 bits (ou plus). Les contraintes sur la place ou le nombre de canaux ont quasiment disparu. La qualit� du son rivalise maintenant avec la musique professionnelle. De plus, les sons wave sont progressivement remplac�s par des g�n�rateurs : ce sont les VST (des biblioth�ques dynamiques au format dll, qui g�n�rent ou transforment les sons). Les biblioth�ques de sons sont devenues courantes : il est possible de simuler un v�ritable orchestre, � condition de payer le logiciel plusieurs centaines d'euros. Du fait de l'utilisation de biblioth�ques ext�rieures, de retouches sonores sur la musique finale, des instruments de plus en plus gros, le format tracker a presque disparu : il est beaucoup plus simple de distribuer un fichier encod� en mp3 ou ogg. �a prend souvent moins de place et on a la garantie qu'il sera jou� partout de la m�me fa�on. Cependant, m�me si des logiciels comme Cubase sont courants dans le monde professionnel, certains gagnent leur vie en composant la musique avec un tracker. Citons entre autres Modplug Tracker (un logiciel libre), MadTracker et Renoise. � Pour ceux que �a int�resse, je recommande vivement la lecture de l'interview d'Audiomonster (attention, c'est un peu long). Il vient de la demo scene, a �t� recrut� par hasard chez Delphine Software, a compos� la musique de Flashback. Aujourd'hui, il utilise toujours, et de mani�re professionnelle, Modplug Tracker. Pour les amateurs, je recommande aussi la web radio Nectarine, qui diffuse en permanence de la musique de la demoscene. Lire la suite : Jeux vid�o et musique adaptative �

F# enfin reconnu

Wed, 17 Oct 2007 23:17:00 GMT

F# va bient�t devenir un langage officiel de la plateforme .NET. Il b�n�ficiera donc d'une int�gration totale dans Visual Studio et VS sera distribu� avec. I am a big fan of technology transfer between a research organization and a product development organization so that we can “productize” the great research ideas and deliver to customers in a timely manner.� This is one of the best things that has happened at Microsoft ever since we created Microsoft Research over 15 years ago.� Here is another great example of technology transfer at work.� We will be partnering with Don Syme and others in Microsoft Research to fully integrate the F# language into Visual Studio and continue innovating and evolving F#. In my mind, F# is another first-class programming language on the CLR. — S. Somasegar Par ailleurs l'�quipe de F# grossit, passant des deux concepteurs � quatre membres � plein temps. Ils travaillent actuellement sur la finition de la V1. De plus, Microsoft utilise de plus en plus F# dans ses produits, j'ai vu plusieurs offres d'emploi li�es � F# ces derniers jours. La programmation fonctionnelle va prendre son essor chez Microsoft. :)

Parlons fran�ais

Tue, 09 Oct 2007 22:34:00 GMT

Parlons fran�ais. � J'ai souvent rencontr� des gens qui critiquait les traductions fran�aises des termes informatiques. Des gens qui, par moquerie ou hypercorrection, utilisent les termes m�l, butineur ou hypertoile dans leurs phrases. Des sites qui se plaisent � propager, parfois de mani�re erron�e, les d�cisions de la commission de n�ologie. Ou encore des questionnaires incorrects relatifs � ce vocabulaire, comme celui du 20 minutes : � Parlez-vous fran�ais �. Voici donc une liste de rumeurs avec les explications et les sources : � On ne dit pas WIFI, mais ASFI C'est une rumeur qui a �t� tr�s vite r�pandue sur Internet, et reprise par de nombreux sites. Pourtant, c'est faux. ASFI signifie Acc�s Sans Fil � Internet. C'est donc la traduction de WIA (Wireless Internet Access), et non de WIFI. http://www.culture.gouv.fr/culture/dglf/cogeter/05-05-05-telecommunications.htm � Browser se traduit par butineur C'est faux. En fran�ais, on dit navigateur (ou logiciel de navigation). Le terme butineur vient du Canada. http://www.culture.gouv.fr/culture/dglf/cogeter/16-03-99-internet-listes.html � En fran�ais, il faut �crire m�l Non, ce n'est pas tout � fait �a. M�l est une abr�viation, qui s'utilise de la m�me fa�on que "t�l" (et ne peut donc pas �tre utilis� comme un nom). � la place, on utilise plut�t courriel, courrier �lectronique ou message �lectronique. Ce qui me semble bien, personnellement. Le terme courriel n'est pas uniquement qu�b�cois, il a �t� reconnu par journal officiel. http://www.culture.gouv.fr/culture/dglf/cogeter/20-06-03-courriel.htm � En fran�ais, on dit barri�re de s�curit� et non pare-feu C'est ce qu'affirme le questionnaire du 20 minutes cit� au d�but. Pourtant, le terme pare-feu est r�guli�rement utilis� (notamment sous Windows). Cependant, apr�s une rapide recherche, on se rend compte que les deux termes sont accept�s. Encore une erreur propag�e... http://www.culture.gouv.fr/culture/dglf/cogeter/16-03-99-internet-termfrancs.html � On ne dit pas impl�menter, mais implanter C'est faux, implanter n'a pas vraiment le m�me sens, � ce que je sache. Le terme impl�menter a �t� reconnu dans le journal officiel. http://www.culture.gouv.fr/culture/dglf/cogeter/20-04-07-informatique.htm � On ne dit pas web, mais hypertoile Non. Le terme complet est "toile d'araign�e mondiale", mais on dira plus simplement toile. http://www.culture.gouv.fr/culture/dglf/cogeter/16-03-99-internet-listes.html � Au pluriel, on dit fora, virii, scenarii... L'acad�mie fran�aise a �t� claire lors de la r�forme de 1990 : � les noms ou adjectifs d’origine �trang�re ont un singulier et un pluriel r�guliers : un zakouski, des zakouskis ; un ravioli, des raviolis ; un graffiti, des graffitis ; un lazzi, des lazzis ; un confetti, des confettis ; un sc�nario, des sc�narios ; un jazzman, des jazzmans, etc. On choisit comme forme du singulier la forme la plus fr�quente, m�me s’il s’agit d’un pluriel dans l’autre langue. � Cette r�forme n'est bien s�r qu'une recommandation, mais pourquoi chercher � tout compliquer ? Cette r�gle est fort simple � suivre. http://www.academie-francaise.fr/langue/orthographe/regles.html#regles � C'est moche de piquer tous les mots �trangers couramment utilis�s, pour se les approprier et dire qu'on en fait un mot fran�ais... Pas tous. Le vocabulaire trop technique ou peu utilis� n'a souvent pas d'�quivalent. La plupart des mots sont francis�s et �a me semble normal : c'est ce qui a toujours �t� fait. Pouvoir utiliser des mots fran�ais est quand m�me agr�able (ordinateur, navigateur, fen�tre, t�l�charger, internaute, site...). Utiliser les termes anglais tend � rendre l'informatique plus obscure pour les n�ophytes. Il y a quelques traductions qui ne sont pas �l�gantes, mais c'est l'usage qui d�cidera. Par exemple, le mot camping fait partie des dictionnaires, alors que c'est campement qui avait �t� propos� � l'origine (c'est l'usage donc qui a d�cid�). Bref, je trouve �a plut�t bien dans l'ensemble. Beaucoup de traductions sont pertinentes, les autres seront probablement mises de c�t�.

[Autopromotion] Ascii art

Sun, 07 Oct 2007 13:19:00 GMT

Pour ceux qui aiment l'ascii-art... Ou l'humour absurde... Ou qui s'ennuient au boulot... � Da ascii blog � �

Exalead et Baagz

Sat, 29 Sep 2007 00:58:00 GMT

Exalead et Baagz � Exalead Vous connaissez sans doute, au moins de nom, Exalead, ce moteur de recherche fran�ais. Il innove par rapport � ses concurrents et proposent des fonctionnalit�s tr�s int�ressantes. Il propose par exemple une recherche selon une expression rationnelle, un affinage des r�sultats � posteriori (tout en affichant des statistiques sur les r�sultats obtenus). De plus, il est possible de faire une recherche phon�tique ou une recherche par proximit� de mots... Utile quand on h�site sur une orthographe (ou pour trouver m�me les sites qui ont fait une faute :)). Sa recherche d'images me semble bien plus agr�able que celle de Google et peut �tre filtr�e selon plus de param�tres (tailles, nombre de couleurs, restreindre le r�sultat aux visages, etc.). Les filtres peuvent �tre tr�s pr�cis. Par exemple, il est facile de chercher une image dont la taille fait entre 400px et 600px (width>400 width<600), ou encore en fonction du nombre d'octets du fichier. L'autre fonctionnalit� que j'utilise beaucoup est la recherche de vid�os. Les vid�os sont recherch�es parmi les sites les plus connus (Dailymotion, Youtube, Google Video...). L� encore, des options tr�s int�ressantes sont disponibles. On peut chercher une vid�o dont la dur�e est comprise entre 5 et 8 minutes ou encore voir seulement celles qui ont �t� vues plus de 4200 fois. Le principal probl�me d'Exalead reste la pertinence de ses r�sultats (avant affinage) et la fr�quence de ses mises � jour. On est encore loin de Google pour les recherches classiques. Cependant, il se r�v�le �tre un bon compl�ment de Google pour les besoins plus sp�cifiques. D'autres personnes seront plus sensible aux arguments �thiques ou politiques : pr�f�rez-vous donner l'argent � une PME fran�aise ou bien � une multinationale am�ricaine ? � Baagz, un projet prometteur... Exalead vient tout juste d'annoncer son dernier produit, Baagz. Baagz est pr�sent� comme �tant leur � tout nouveau service de recherche, combinant moteur de recherche s�mantique et r�seau social �. Comme souvent avec le marketing, il vaut mieux se m�fier des mots, en particulier de la notion de � s�mantique �. Baagz est en version b�ta et l'inscription n�cessite une invitation (mais on peut faire une demande sur le site). Baagz est un r�seau social, bas� sur la notion de � centres d'int�r�ts partag�s � : chaque utilisateur peut d�finir ses amis et ses centres d'int�r�ts. Dans un baag, on peut mettre des liens, des images, des vid�os, etc. On peut ensuite visiter les baagz publics des autres gens. L'interface du site est soign�e et repose enti�rement sur de l'Ajax. C'est plut�t bien fait, on a du drag-and-drop, de la transparence, des jolies fen�tres. Bref, tout ce qui est caract�ristique du web dit 2.0. D'autant plus que, contrairement � beaucoup d'autres sites, le bouton retour du navigateur reste op�rationnel. Le grand int�r�t de Baagz, c'est qu'il s'interface avec le moteur de recherche d'Exalead. Si on fait une recherche classique (web, images, vid�os...), on peut faire un drag-and-drop des r�sultats vers ses propres baagz. Ils ont donc aussi un r�le de bookmarks. Pour un utilisateur r�gulier d'Exalead, Baagz se r�v�le donc �tre incontournable : l'interface est beaucoup plus riche et personnalisable. On peut �galement faire une recherche parmi les autres baagz. �videmment, Baagz propose �galement de g�rer les flux RSS. Il se place donc en concurrent des pages personnalisables, de type Netvibes, iGoogle, etc. D'autres widgets sont disponibles, comme un m�mo, la m�t�o, les mails ou un chat. � ... mais encore un peu trop jeune On est pr�venu d�s le d�part, ce n'est qu'une version B�ta. Et la b�ta ici, ce n'est pas la qualit� des b�tas de Google. Le site ne fonctionne que sous Firefox 2 pour le moment (c'est temporaire, bien s�r). Il y a beaucoup de probl�mes de traduction, si bien que l'on a un affreux m�lange de fran�ais et d'anglais sur le site. Le moteur de recherche accepte moins d'options que sur Exalead.fr : regexp ou caract�res sp�ciaux (du genre "C#") sont refus�s. Le menu � recherche avanc�e � d'Exalead.fr est absent ici. Dans la page de recherche, le bouton droit est d�sactiv�, ce qui peut �tre g�nant (pour ouvrir dans un nouvel onglet, copier l'adresse du site ou les autres options, selon les plugins install�s). Le widget pour le chat se r�v�le peu utile : il faut que les deux personnes aillent dans le m�me baag, au m�me moment. De plus, il n'y a pas de notification (sonore ou dans la barre de titres) en cas de message (comme on peut avoir sur GMail). J'aimerais bien aussi pouvoir acc�der � un baag directement, mais est-il possible d'avoir une telle URL ? Le titre de la page n'est jamais modifi�, c'est dommage quand on revient en arri�re avec le navigateur. Le site n'est pas pr�vu pour de la navigation multi-onglet. M�me si c'est un probl�me r�current aux sites de type web 2.0, je trouve �a dommage. D'autant plus que �a devrait �tre faisable en bidouillant un peu le javascript. L'interface gagnerait aussi � �tre all�g�e : j'appr�cierais de pouvoir r�duire la taille des images des baagz (voire n'afficher que leur titre), dans la liste de gauche, de fa�on � tous les voir sans scroller. � Conclusion Baagz est un projet prometteur et int�ressant. Je le conseille � tous les utilisateurs d'Exalead. Pour les autres, �a peut �tre une occasion de (re)d�couvrir Exalead. Quand je vois toutes les fonctionnalit�s ajout�es � Exalead en un an, j'ai bon espoir pour Baagz. Il est encore loin d'�tre parfait, mais je pense que les corrections seront faites rapidement. Si Exalead ajoute rapidement de nouvelles fonctionnalit�s, le produit pourrait devenir tr�s bon. J'aimerais par exemple avoir une bonne navigation au clavier, avoir une solution pour ranger proprement les liens (l�, on a des ic�nes en vrac, j'aimerais pouvoir les afficher en liste, un peu comme l'explorateur de Windows) ou encore avoir une bonne gestion des flux (lire le contenu du flux sans aller sur le site). Si Exalead arrivait � avoir une pertinence similaire � Google dans ses r�sultats de recherche, nul doute que Baagz pourrait devenir incontournable. Un projet � suivre, donc. �a permet en plus d'avoir une alternative au monopole de Google.

[F# et Shell] Un peu de r�seau

Fri, 14 Sep 2007 14:37:00 GMT

F# Je viens d'�crire un petit programme en F#, je le poste ici puisqu'il pourra me resservir plus tard, et il peut �tre utile � d'autres personnes. Le code est assez court, il s'agit d'un serveur (en TCP). Lorsqu'un client se connecte, il communique avec : le client envoie un nombre, le serveur renvoie ce nombre, mis au carr�. C'est donc tr�s simple, mais �a me fait une base pour une application r�seau. Le programme permet d'accepter plusieurs clients ; j'utilise un thread par client. Le code total tient en 25 lignes, ce qui me semble plut�t raisonnable. Le code se trouve � cette adresse : http://laurent.le-brun.eu/fsharp-server.fs Cet exemple sert aussi � montrer que F# est utilisable dans la vraie vie et qu'il n'y a plus de raison de persister avec C#, Java, C++... (sauf cas particuliers) � Shell Et puisque les gens sous-estiment tr�s souvent la puissance du Shell (et des binaires souvent associ�s), voici un �quivalent en Shell : $ nc -lp 3000 -c 'sed -u "s/.*/&*&/" | bc' Netcat (ou nc) est un client / serveur utilisable en console. Par d�faut, il est en mode TCP. Le 3000 correspond au port � utiliser et l'option -c indique la commande � ex�cut�e quand un client se connecte. L'entr�e standard correspond alors au message envoy� par le client et la sortie standard est le texte renvoy�. Le Sed sert juste � dupliquer l'entr�e et ins�re un '*'. Cela permet donc de calculer le carr�, gr�ce � bc. L'option -u de Sed est tr�s importante ici : cela permet de ne pas bufferiser la sortie. Ce code n'est pas un �quivalent fid�le du programme F# : il manque la gestion d'erreur (si l'entr�e n'est pas un nombre, le r�sultat est incertain et d�pend de bc), la gestion de plusieurs clients simultan�s et il faudrait que le serveur reste actif quand le client se d�connecte (dans la version ci-dessus, le serveur se termine). Voici une solution plus fid�le. Code � mettre dans le fichier server.sh (avec les droits d'ex�cution) : #! /bin/bash nc -lp 3000 -e server.sh & sed -u "s/.*[^0-9].*/*/;s/.*/&*&/" | bc Exemple d'appel, via le shell : $ nc -lp 3000 -e server.sh � chaque fois qu'un client se connecte, un nouveau serveur (un nouveau processus donc) est lanc� qui sera � l'�coute des nouveaux clients. On a donc une r�cursion mutuelle entre nc et server.sh. Le code Sed a �t� l�g�rement modifi� de sorte que bc renvoie une erreur d�s que l'entr�e n'est pas un nombre.

[Haskell] Lecture du soir

Tue, 11 Sep 2007 00:38:00 GMT

Si vous ne maitrisez pas Haskell, voici une belle occasion d'apprendre ce langage merveilleux. Un blog vient d'�tre cr�� avec pour th�me : apprenez Haskell en 5 minutes... par soir. Il a �t� cr�� hier, donc vous avez juste un jour � rattraper. Tout est clair et bien d�taill� (pour le moment), je vous le recommande. Les le�ons sont rapides � lire et devraient �tre quotidiennes. � http://learnhaskell.blogspot.com�

[Caml] Surcharge et probl�mes de coh�rence

Mon, 10 Sep 2007 01:07:00 GMT

OCaml, ses probl�mes de g�n�ricit� et son absence de surcharge. � Une question fr�quente chez les d�butants en Caml concerne le probl�me d'affichage des valeurs. Quand on utilise Caml en mode interactif, Caml affiche la valeur du r�sultat, quel que soit son type. Cet outil d'affichage est tr�s pratique et plut�t joli. Il est donc naturel de vouloir l'utiliser aussi dans ses projets (dans l'ex�cutable final). Cette question revient r�guli�rement et la r�ponse habituelle est : � Non, ce n'est pas possible. � Quand on r�fl�chit un peu au probl�me, on se dit qu'il faudrait qu'OCaml garde toutes les informations de types � l'ex�cution (ce qui permettrait par la m�me occasion d'avoir de l'introspection). Mais ce serait compliqu� � g�rer, les performances seraient r�duites... Une autre solution serait de g�rer la surcharge de fonctions. En effet, il suffirait au moment m�me du typage de faire les liaisons n�cessaires. Par exemple, print serait parfois compil� en print_string, parfois en print_int, etc. selon le type de la valeur. Selon certains, la surcharge pose de nombreux probl�mes, affaiblit le typage et r�duit l'efficacit� de la d�tection d'erreurs. Ce qui est vrai lorsqu'on en abuse. Mais nous, on veut juste avoir une fonction print. Il est aussi souvent dit que la surcharge n'apporte rien de plus, et qu'ajouter � la main le type apr�s print n'est pas long � faire. Ce qui, selon moi, est faux. Une remarque que l'on peut faire est : les op�rateurs de comparaison (�galit�, inf�riorit�, etc.) ont un type 'a -> 'a -> bool. Ils acceptent donc n'importe quel type en entr�e. Pourtant, la comparaison entre deux entiers et la comparaison entre deux chaines de caract�res ne peuvent pas avoir le m�me code, au final. C'est donc une forme de surcharge : elle est g�r�e par le compilateur, une sorte de hack en fait. C'est donc incoh�rent : pourquoi seuls les op�rateurs de comparaison sont-ils surcharg�s ? Par souci de consistance (et puisque la vraie surcharge nous a toujours �t� refus�e), il serait bon que les op�rateurs de comparaison ne soient plus surcharg�s. Qu'est-ce que cela changerait au final ? Il faudrait cr�er plein d'op�rateurs de comparaison : par exemple '=' pour les entiers, '=.' pour les flottants, '=^' pour les chaines de caract�res. Il en faudrait aussi pour les chars, les bool�ens, les r�f�rences... Et puis aussi pour les couples d'entiers, les couples de bool�ens, les couples avec entier et char, et les couples... et puis aussi pour les triplets... etc. Cela ne suffirait m�me pas : il faudrait que l'utilisateur d�finisse lui-m�me la fonction d'�galit� � chaque fois qu'il d�clare une structure ou un type somme. Et comme si cela ne suffisait pas, il faudrait �galement faire tout ce travail pour l'inf�riorit�, la sup�riorit�... Bref, ajouter des dizaines d'op�rateurs, ce qui ne serait pas g�rable. Surtout que les fonctions comme min, max, List.mem et les types comme Map ou Hashtbl ne pourraient plus exister en l'�tat. Ce probl�me qui survient avec les op�rateurs de comparaison aurait d� mettre la puce � l'oreille : plut�t qu'un hack dans le compilateur, une gestion propre de la surcharge aurait �t� grandement appr�ci�e. D'autant plus que ce hack n'est pas totalement transparent. La comparaison entre deux fonctions n'est pas d�finie. Mais, puisqu'un op�rateur de comparaison a pour type 'a -> 'a -> bool, c'est accept� � la compilation. Pire : le code suivant g�n�re une exception � l'ex�cution : "let f x = x in f = f". Le probl�me aurait d� leur mettre la puce � l'oreille parce que leur hack n'en a r�gl� qu'une partie. � chaque fois que l'on cr�e un type, on doit souvent d�finir soi-m�me sa fonction d'affichage (de m�me que l'on aurait d� d�finir les op�rateurs de comparaison). De vraies solutions existent pourtant. En Haskell, ce sont les classes de types. Par exemple, la classe Num regroupe tous les types num�riques ; la classe Ord regroupe les types pouvant �tre compar�s et ainsi de suite. Il est d'ailleurs possible d'ajouter des types dans une classe et m�me de red�finir la fa�on dont un type peut �tre compar�. En Caml, il n'est pas possible de red�finir l'op�rateur de comparaison sur un type particulier. En F#, on a un principe similaire par le biais d'interfaces et par la surcharge. Cela permet notamment d'avoir une fonction print g�n�rique que l'on peut red�finir pour chaque type. Une extension de Caml, GCaml, permet m�me d'ajouter la surcharge au langage. Cette extension a �t� faite il y a plusieurs ann�es, mais elle n'a jamais �t� int�gr�e � la distribution officielle. Parmi les autres cons�quences, on trouve l'impossibilit� de travailler indiff�remment sur les listes et les tableaux. On se retrouve donc � dupliquer le code, ou � obliger l'utilisateur � faire des conversions non souhait�es. On se retrouve aussi � dupliquer le code, si on veut avoir une version sur les entiers et une sur les flottants. � Pour finir, admirez le code suivant : let mean_ilist x = float_of_int (List.fold_left (+) 0 x) /. float_of_int (List.length x let mean_flist x = (List.fold_left (+.) 0. x) /. float_of_int (List.length x) let mean_i64list x = Int64.to_float (List.fold_left Int64.add Int64.zero x) /. float_of_int (List.length x) let mean_iarray x = float_of_int (Array.fold_left (+) 0 x) /. float_of_int (Array.length x) let mean_farray x = (Array.fold_left (+.) 0. x) /. float_of_int (Array.length x) let mean_i64array x = Int64.to_float (Array.fold_left Int64.add Int64.zero x) /. float_of_int (Array.length x)

Entendu � Paris

Fri, 10 Aug 2007 02:07:00 GMT

Dans une agence de pub du 8i�me arrondissement, une femme parle avec un l�ger accent. Une coll�gue lui demande : — Tu es originaire d'o� ? — Je suis n�e en Allemagne. — Et �a fait longtemps ? — Oui, depuis que je suis n�e ! — C'est dingue quand m�me. — Euh... je m'exprime mal ou c'est toi qui ne comprends pas le fran�ais ? Entendu � Paris est une sorte de Bashfr IRL. Pas tout � fait, car il n'y a pas de votes et l'humour est assez diff�rent (beaucoup moins geek), mais j'aime beaucoup. C'est plus raffin�, il y a un contexte, il n'y a pas de fautes (normal, c'est retranscris) et une fr�quence plus faible. Bref, un flux de plus � lire !

Pourquoi F#, plut�t qu\'OCaml ? (Partie 2)

Tue, 07 Aug 2007 00:46:00 GMT

Pourquoi F#, plut�t qu'OCaml ? (Partie 2) � Dans la premi�re partie, j'avais �voqu� plusieurs points assez g�n�raux : environnement de d�veloppement, l'utilisabilit� sous Windows, les biblioth�ques disponibles et l'avenir des langages. J'avais aussi parl� de la surcharge, pr�sente dans F#. Je vais continuer sur quelques points techniques et d�tailler certaines fonctionnalit�s de F#. Dans cette partie, je m'attarderai plus sur les fonctionnalit�s de F# que sur les faiblesses de Caml. � ce jour, je n'ai toujours pas trouv� de sites fran�ais parlant de F#. Consid�rez donc celui-ci comme le premier et n'h�sitez pas � poser des questions s'il y a des choses par claires. Je serais ravi de d�tailler. � G�n�ricit� La g�n�ricit� est un point tr�s important des langages de programmation. C'est la principale innovation de C++ par rapport au C, via son m�canisme de templates. F#, h�ritant de .NET, poss�de le concept d'interfaces. C'est certes moins souple que les templates de C++ ou que le typage dynamique des langages interpr�t�s, mais cela permet �galement d'obtenir une certaine g�n�ricit�. En Caml, les types liste et tableau sont totalement ind�pendants. Il n'est pas possible, au nom du typage fort et de l'absence d'objets (OCaml permet la POO, mais elle est quasiment absente de la biblioth�que standard), d'�crire une fonction g�n�rique travaillant sur une collection. Une fonction calculant la moyenne des �l�ments d'une liste devra �tre r��crite pour utiliser les tableaux. En F#, on utilise le type IEnumerable (nomm� aussi Seq). La fonction suivante peut ainsi �tre appel�e avec un tableau, une liste, une liste paresseuse, une liste g�n�r�e � partir d'une fonction... let mean c = Seq.fold (+) 0 c / Seq.length c;; De m�me, une fonction travaillant sur une collection de caract�res acceptera les types "char list", "char array", "string", etc. � Typage dynamique Quelques fois, on souhaite passer outre le syst�me de typage. Parfois, on regrette les langages � typage dynamique. En F#, c'est possible d'obtenir ainsi plus de libert� et de d�porter le typage � l'ex�cution (bien s�r, c'est plus risqu�, donc on l'utilise prudemment). Par exemple, on peut d�finir une liste d'�l�ments quelconques : let a = [box 4; box 3.2; box 'c'; box "e"] On peut aussi d�finir des fonctions qui ne seraient pas typables dans un syst�me � la Hindley-Milner. Par exemple, la fonction suivante renvoie : pour n = 0, une liste vide ; pour n = 1, une liste de liste vide ; pour n = 2, une liste de liste de liste vide, etc. let rec gen = function | 0 -> box [] | n -> box [gen (n - 1)] � Introspection En compl�ment du typage dynamique, il est possible d'obtenir � l'ex�cution des informations de types sur toutes les valeurs. On peut donc regarder ce qu'il y a dans une valeur convertie par la fonction box. On peut aussi faire du pattern matching sur le type d'une valeur. On peut inspecter la liste des m�thodes d'un objet et ainsi de suite. On peut m�me g�n�rer du code � l'ex�cution et construire des classes � la vol�e. Parce que les langages interpr�t�s n'ont pas le monopole du dynamisme, F# propose, gr�ce � .NET, des m�canismes d'introspection assez pouss�s. Et malgr� cela, F# poss�de � peu pr�s la m�me s�ret� et presque les m�mes performances que Caml. � Compr�hensions de listes Parce que la manipulation des listes et des tableaux est tr�s fr�quente, F# propose du sucre pour faciliter leur �criture. Les compr�hensions de listes sont une technique �l�gante pour effectuer les op�rations map, concat, filter ainsi que des conversions (liste vers tableau et inversement). Il est aussi possible d'utiliser des intervalles, par exemple "2..20" ou "'a'..'z'". Comparez (F#) : let f str = [for c in str when c > 'a' ->> [c; c]] Avec (OCaml, apr�s avoir d�fini String.to_list) : let f str = let s = String.to_list str in let l1 = List.filter (fun c -> c > 'a') s in let l2 = List.map (fun c -> [c; c]) l1 in List.concat l2 � Affichage g�n�rique J'en ai d�j� parl� plusieurs fois, il est possible d'afficher n'importe quel type en F#, avec la fonction print_any. Par d�faut, il affiche la structure interne du type (pour les types somme, tuples, structures...), mais il est possible de la red�finir. Je vous renvoie � mon autre article, sur l'affichage g�n�rique en F#. � Objet F# arrive � concilier les programmations objet et fonctionnelle. Ainsi, un type somme est un objet qui peut avoir des m�thodes. Par ailleurs, les types de base peuvent �tre consid�r�s comme des objets. Ils poss�dent quelques m�thodes par d�faut et il est m�me possible d'ajouter des m�thodes aux entiers. Par exemple : type System.Int32 with member x.Square = x * x member x.Abs = abs x Ce code ajoute les m�thodes Square et Abs � tous les int. Par ailleurs, les active patterns sont une solution innovante permettant d'utiliser le pattern matching sur n'importe quel type complexe. J'avais d�j� parl� des active patterns en F#. � Syntaxe La syntaxe de F# est vraiment tr�s concise. L'utilisation de l'indentation (optionnelle) apporte vraiment un plus au niveau de la lisibilit�, m�me lorsque l'on imbrique du pattern matching. type Foo(x) = member f.Square = x * x Ce code d�finit une classe Foo, avec un constructeur prenant un entier x en argument, qui poss�de une m�thode Square renvoyant le carr� de x. Et dans votre langage, �a ressemble � quoi ? En moyenne, du F# est � peu pr�s aussi concis que du Ruby, et plus concis m�me que du Python. La concision d'un langage est souvent t�moin d'une grande expressivit�. Contrairement � ce que l'on voit en Java ou en C++, chaque ligne de code de F# est v�ritablement utile et fait quelque chose. On n'�crit pas du code, juste parce qu'il le faut. La surcharge, la r�utilisation du code, les compr�hensions de listes, la biblioth�que et l'utilisation fr�quente de l'objet r�duisent �norm�ment la taille du code par rapport � OCaml (qui est pourtant consid�r� comme concis parmi les langages � typage statique).