Zakath a écrit 741 commentaires

C'est simple, ils n'ont pas le droit et ils passent la GPL par dessus la jambe...

C'est une des raisons pour lesquelles gentoo ne cherche pas à se rapprocher de sabayon ni à utiliser ce qu'ils font. On leur a pourtant signalé cette violation de la GPL plusieurs fois, mais ils n'ont pas l'air d'en avoir grand chose à faire.

Alors comme ça, il paraît que firefox est plus évolué qu'IE ?

Les Beatles c'est sympa, mais ça vaut quand même pas Pascal Obispo.





Passera, passera pas ?

Sinon sans rire, merci beaucoup du lien.

Sauf que si on fait des pattern matching corrects, on termine toujours par un cas

| _ -> raise unmatched_entry

ce qui permet de ne pas avoir à modifier les cas où l'on sait, par un argument X ou Y, qu'on ne donnera jamais à manger le mauvais type. Ou si on est sale, on ne rajoute pas ce cas et on laisse le compilateur râler en disant que des cas ne sont pas gérés.

Dans tous les cas, ce n'est pas plus lourd qu'avec du typage dynamique.

Oui bien sûr, mais ce genre d'argument est toujours spécieux, on ne va pas reprocher à une solution d'augmenter la sécurité d'un système sous prétexte que ça met trop en confiance (cf les débats sur l'ABS dans les voitures).

Pour ma part, je pense que le typage statique est bon à prendre et ne présente quasiment pas d'inconvénients par rapport à un typage dynamique, voire à pas de typage, s'il est bien intégré au langage.

Oui, exactement. Tout l'intérêt de construire ton type manuellement est de justement bien délimiter ce qu'on a le droit de faire (mettre des Bla int et des Bli string dans un tableau) et de le dire au compilateur, qui pourra ainsi te prévenir si quelque chose ne va pas.

Quant au fait que ce soit plus lourd à utiliser, je ne suis pas d'accord, ça rajoute quelques lignes et ça fait gagner en clarté. Avec du typage dynamique, si tu te balades avec un tableau dans lequel tu n'as que des int, et que subitement tu lui mets une string à l'intérieur, ça n'est vraiment pas clair et il faudra souvent se fendre d'un commentaire. Avec du typage statique, tu préviens dès le départ, tu poses tes règles et tu t'y tiens.

Enfin, si tu mets plusieurs types différents dans un tableau, il va vraisemblablement falloir discriminer sur leur type quand tu voudras agir sur ces éléments. Avec les constructeurs de type, la solution est particulièrement élégante :

match a.(i) with
| Bla j -> print_int j
| Bli s -> print_string s

Flexibilité ? Je ne vois pas en quoi le typage dynamique serait plus flexible, à partir du moment où tu as des constructeurs de type suffisamment puissants dans ton langage statiquement typé (et c'est le cas de OCaml).

Si tu veux un tableau dans lequel on peut mettre des int ou des string, tu fais :

type Truc = Bli of int | Bla of string
let a = Array.create 2 (Bli 0)
a.(1) <- (Bla "prout")

Euh... Le typage dynamique saibien, mais le typage statique saimieux (on choppe les erreurs plus tôt, un programme qui compile a de sérieuses chances de bien marcher, etc...). Donc avec cet argument, OCaml est meilleur que Lisp, puisqu'ayant un toplevel, un compilo et un typage statique.

Bah c'est exactement ce que je propose 3 commentaires au dessus avec la méta loi de godwin au niveau 1.

C'est du coupage de cheveux en quatre, là. Remplace par "comparer un des propos de son interlocuteur à un propos nazi" si ça t'empêche de dormir.

Mais la remarque reste valide, La neutralité de point de vue = une minute pour les Juifs, une minutes pour les nazis, tout se vaut, tout peut être exprimé. n'est pas un point Godwin.

Pour commencer, tu as déjà le droit à ton point godwin.

Ah que non ! Tout comme le monsieur de tout à l'heure avec le mot "totalitarisme", je proteste ! Un point godwin, ce n'est pas dire "nazi" dans une phrase, c'est comparer son interlocuteur à un nazi.


Pour citer M. Godwin lui-même :

As an online discussion grows longer, the probability of a comparison involving Nazis or Hitler approaches one.

Je me permets donc de formuler la méta-loi de Godwin au niveau 1 :

Plus une discussion dure longtemps, plus est élevée la probabilité que quelqu'un affirme qu'un point godwin vient d'être atteint.

Toutafé. Mais le problème, c'est qu'à la télé, une fois la critique faite, tu n'as pas de moyen d'aller plus loin ou de chercher une autre source n'ayant pas les mêmes défauts.

Quand il m'arrive de voir un JT, ce qui est de plus en plus rare, je passe généralement mon temps à m'exclamer "mais c'est n'importe quoi" et à trouver des points hautement critiquables dans le fond (inexistant) des reportages autant que dans la forme. Mais pour obtenir de plus "saines" informations sur les sujets traités, il va me falloir changer de media et soit lire la presse (même si la presse mainstream ne vaut guère mieux que la télé, de nos jours), soit fouiller internet.

Faut arrêter avec des screenshots de 1Mo, merde !

man jeu de mot.

Et sinon, oui, tous ses propos sont déformés par les médias, ils nous font croire qu'elle raconte des trucs vaguement intelligents alors qu'elle ne fait qu'exprimer le vide intersidéral de sa pensée.
Tu as déjà écouté une intervention de Ségolène ?

Proposer une connasse pour limiter la casse, il fallait y penser !

Ne pas aller voter = je m'en fout de la politique

Que voilà une affirmation péremptoire.
Ne pas voter peut très bien aussi être "je ne considère pas que des élections de ce type soient un bon système pour choisir notre gouvernement". Contrairement au vote blanc qui lui signifie plutôt "dans cette instance particulière, aucun des candidats ne me représente suffisamment bien, mais je ne remets pas le principe même des élections en cause".

On peut "s'intéresser à la politique" sans pour autant cautionner la grande mascarade électorale.

Je devrais en recevoir une bientôt (enfin c'est ce qu'ils disent depuis février...) avec le programe de ppczone.org. Si tu veux candidater, dépêche toi, ça ferme très bientôt.

Moi ce qui me fait peur, c'est que des gens lisent Télé 7 Jours...

Dans la dépêche, il est indiqué qu'une telle borne peut se trouver à Paris mais j'ai cherché sur le site et rien vu (il y en a apparemment eu une en avril mais c'est tout). Quelqu'un a plus d'infos ?

Ou alors, autre hypothèse, ça viendrait des scouts et de leurs bons vieux chants "Youkaïdi, youkaïda".

Du coup, ça tendrait à confirmer que les cow-boys étaient bien des enfants de choeur !

Pas besoin d'aller chercher du airennebi, il suffit d'écouter un peu de country pour avoir des yeepee yi et des yeepee yo à foison.
Je soupçonne que ça vienne du far west, avec les cow boys et tout.

Les langages basés sur ecmascript, on sait ce que ça vaut. Je leur préfère largement leurs bien meilleures alternatives vmiscript.


-->[ ]

C'est en cours de codage et ça commence à sérieusement monter dans la TODO list de Zac Medico, le principal dev portage.
Il y avait eu d'assez âpres discussions, notamment sur les moyens de grouper les licences, mais je crois que ça s'est plutôt bien résolu (ça a été rediscuté très récemment sur gentoo-dev).

Et sinon, il reste aussi la solution paludis, en effet.

Comme promis, je devrais pouvoir venir aider à installer des gentoo :P

C'est une condition nécessaire mais loin d'être suffisante. En gros, pour le passage en stable, il faut que ce soit considéré stable et qu'il y ait une bonne raison (librairie dont dépend un paquet en stabilisation, bug de sécurité, version majeure, ...). Pour les jeux c'est d'autant plus lent que c'est considéré comme un champ secondaire en nice 19.

Là SpanKY a fait un bump ultra-rapide parce que le logiciel est très connu et que plein de gens (moi compris :)) lui avaient demandé, mais je serais fort étonné qu'il se retrouve stabilisé en vitesse grand V.


Pour te donner une idée, ça fait pas loin de deux ans qu'on prépare la stabilisation de tetex-3 !