Axioplase ıɥs∀ a écrit 3042 commentaires

Il explique par exemple qu'avec les langages de haut niveau, plus personne ne sait vraiment programmer en langage machine. C'est juste oublier que Linus Torvalds revendique que le C, au coeur du noyau, soit un langage pas trop haut niveau, qui permet de "penser" comme une machine. Vous le savez également, Linus a fait énormément d'assembleur dans ses débuts, et beaucoup disent aujourd'hui que sa qualité technique s'appuie notamment sur ces connaissances "bas niveau".

Ouais, et alors ?
La plupart des gens apprennent désormais l'info avec les langages de "haut niveau", et sont bien incapables de "penser comme une machine." Le fait que Torvalds ait fait de l'assembleur dans les années 80 n'y change rien. Et citer un gars qui est clairement une anomalie statistique dans un ensemble (celui des programmeurs en activité) ne cautionne pas vraiment ta remarque.

Récemment Google a lancé un projet totalement fou : faire sortir les geeks de chez eux ! Personne n'aurait osé ce pari risqué, mais c'est bien connu, Google a des moyens de persuasions que d'autres n'ont pas.

Récemment Google a lancé un projet totalement anoding : du crowd sourcing ! Personne n'aurait manqué de repérer ce pari au risque nul, mais c'est bien connu, Google a des moyens de faire prendre des vessies pour des lanternes.

C'est bien, parce que ça sert à sortir pour rencontrer des gens.
Sinon, facebook, parce qu'habiter à l'autre bout du monde, ça n'aide pas à avoir des nouvelles de ses amis lointains ni à les voir souvent.

Personne pour réagir à son troll du dernier paragraphe ?
C'est bien.

Un vrai journal bookmark, ça rssemble plus à ça :

"H.264 dans firefox. lien."

Que vient faire l'accumulateur ici? On s'en fiche qu'il y ait un accumulateur ou pas. Si on n'utilise pas la valeur de retour, on s'en fiche complètement !

D'ailleurs, les langages de programmations fonctionnels sont en parti conçus pour pouvoir démontrer mathématiquement que le programme fonctionne sans bugs.

Référence nécessaire. Et n'oublie pas que Lisp a été conçu dans les années 50, hein. Tu me donneras une liste des propriétés qui ont été prises en compte dans le design de Lisp pour qu'on puisse prouver mathématiquement l'absence de bugs dans les programmas.

Ok :)

C'est référentiellement transparent, System.Random.RIO?

randomRIO (-1,1) >>= (\x -> if x == 1 then return 1 else undefined)

Soit ça retourne, soit ça lance une exception (ou je pourrais le faire non-terminer).
Effectivement, du point de vue type, c'est correct, mais du point de vue execution, c'est non-déterministe, et ça me parait donc difficilement référentiellement transparent…

Non.
Pour séparer le pur de l'impur, il y a LA monade IO.
Les autres monades, comme Maybe ou Continuation, n'ont rien à voir avec la pureté…

Je n'ai toujours pas saisi en quoi ça pouvait être trompeur…

La mise en avant de Go (première partie de la phrase), suivi du "entre autres" et du "pas mal" qui, eux, ne mettent pas en avant Erlang, bien qu'ils le mentionnent, mais le placent plus en position de remplissage, me parait négligente à l'égard d'Erlang, surtout avec le tapage médiatique autour de Go depuis sa sortie.
Je ne demande pas de faire une tartine sur Erlang, je trouve juste la formulation mal tournée.
Si tu me dis "Le langage Machin (sorti en 2010) est connu pour sa rigueur. Mais c'est pas le seul, Ada, entre autres, est pas mal." j'ai l'impression que tu passes sous silence le fait que de très importantes industries, paradoxalement de niche, utilisent Ada et ne sont pas prêtes pas passer à Machin pour autant. Le lecteur a plus de chances à aller voir Machin qu'Ada, et de passer à côté de nombreuses années d'expertise accumulée dans le domaine du logiciel sûr/critique.

mais d'ignorance
De la part de qui ?

Du lecteur, bien sûr.

1, 2, 3, 4

1/ oui
2/ Le point débattu.
3, 4/ Non concernés par mon commentaire.

Tout d'abord, ne dis pas "non". Le fait que tu ne considère pas une interprétation ne signifie pas qu'elle n'est pas visible par autrui : c'est bien parce que je trouvais la formulation suggestive que j'ai écrit mon commentaire.

Je commente le fait que la manière dont Erlang était présentée était potentiellement trompeuse. C'est pas un problème de fanboy que je dénonce, mais d'ignorance. Parce qu'Erlang est moins connu et conçu pour la gestion de la concurrence, j'estime qu'il était nécessaire de préciser qu'il est efficace bien que beaucoup plus ancien. Et qu'il est utilisé par l'industrie depuis longtemps justement pour résoudre des problèmes de concurrence qu'on aurait été bien en peine de résoudre avec d'autres outils.

Quant à Perl, Ruby ou Python, quelles que soient leurs parts de marché, si je devais me pencher sur un problème de concurrence et/ou distribution, je réfléchirais à deux fois avant de les choisir à la place Erlang, justement à cause de leur conception et objectifs. Et la syntaxe, puisque tu mentionnes la syntaxe C, n'a rien à voir avec le tralala : on pourrait très bien écrire de l'Erlang avec une syntaxe proche du C ; c'est la sémantique qui importe.

Go est souvent montré pour sa facilité à gérer la concurrence. Mais ce n'est pas le seul langage à le permettre, entre autre Erlang est plutôt pas mal.

J'imagine que tu n'as pas voulu mal faire, mais en lisant ça, on dirait que Go est révolutionnaire. Je tiens à préciser qu'Erlang existe depuis 1986, et Go depuis 2009 : on savait déjà faire de la concurrence proprement 23 ans avant Go, et on s'en est pas privé ! Alors qu'un partie des moules ici découvraient le Basic ou le C, il y a fort à parier qu'Erlang était déjà utilisé dans l'industrie justement parce qu'il facilite la vie des gens qui font de la concurrence, en réseau ou en téléphonie.

Parce que je veux surtout voir les réponses à mes trolls.

Dans la mesure où le commentaire explicatif est déjà rédigé, modifier l'entrée ne ferait que prendre du temps…

De toute évidence, parce que je n'avais pas remarqué ou j'avais oublié.

Par SSH, je le fais déjà, mais ce n'est bon que si l'hôte est en bépo.
Si je me connecte par windows (par exemple avec NoMachine) je suis foutu (à moins que je puisse faire mon propre driver pour le clavier sous windows tout comme j'ai pu éditer mon xkb/symbols/fr ?)
Enfin, oui, c'est ce que je vais faire en attendant…

Je sais qu'on peut avoir un mapping différent dans l'hôte et la VM, mais je veux le bépo uniquement : je ne peux pas taper en qwerty, ça me fait trop mal.

Mais ça ne répond pas à mes questions : pourquoi le mapping est cassé dans la VM, et comment le réparer ?

L'interprétation HTML a eu raison de mon texte…

Comportements prévus:

CAPS -> f
TILDE -> CAPS
UP -> LEFT

Comportements obtenus, quand je fais mon setxkbmap dans la VM:

CAPS -> rien du tout. Même pas dans xev
TILDE -> un mélange de CAPS et de f, selon qu'on a appuyé dessus une fois déjà ou pas
UP -> ç

Je précise que mon mapping marche très bien ailleurs, y compris sur la machine hôte (une ubuntu récente).
Le reste des modifications que j'ai apportées au bépo semblent marcher sans problème ; seules CAPS, TILDE et UP ont des problèmes.

Ils sont nombreux les politiciens du FN à déclarer publiquement qu'il sont pour le "cassage de noir"?
J'ai pas suiv l'activité politique en France depuis des années, mais je ne crois pas que le "cassage de noir" soit évoqué, contrairement à ces histoires de cannabis.

C'est pour ça que je change toujours de femme de ménage tous les 29 ans.

Ouais ! Avec des étoiles jaunes qu'on colle sur les profils !

Blague (politiquement très incorrecte) à part, pourvoir associer des informations à des profils ou contenus, c'est une idée qu'elle est bonne. Hop ! -> [Suivi]

Vive la merde, pourvu qu'elle soit libre !

Franchement, je fais passer le fonctionnel avant la liberté.
(Ce qui m'empêche pas de faire du code sous licence BSD, une licence vraiment libre (troll discret).)

Ce qui ne veut pas pour autant dire qu'il a tort, hein.

Y'en a qui tapent parce qu'il a tort,
Y'en a qui tapent parce qu'il a raison,
Y'en a qui tapent parce qu'il est zenitram<,
Y'en a qui tapent parce qu'il a un ton particulier.

Le code est de prae< ou t'es secrètement amoureux de lui et tu le stalkes ? :)