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.
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…
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.
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 ?
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.
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]
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.
Je vais prendre l'exemple du Lisp que je connais un peu.
En Lisp, tout est liste.
Ça commence mal.
Regarde ce programme lisp :
1
Ou celui-ci :
t
Ou celui-là :
'#.-42
Ou encore :
'|lol kthx bye|
Tout ce que l'homoiconicité ("même image") dit, c'est que le code peut être représenté par des données du langage.
Pour faire simple, si tu as un programme dont le code source est S, alors tu peux peux mettre S dans une variable d'un autre programme du même langage.
En (Common) Lisp ou en Scheme
(+ 1 3)
est un programme, et tu peux écrire
(let ((x '(+ 1 3))) ...)
et ça préserve la structure du programme initial.
alors qu'en C, tu ne peux pas.
Au mieux, tu fais
```
x = "#include int main(int a, int**b){return 42;}"
'''
mais ta chaîne de caractères est une chaîne, pas un programme. Pas possible de l'executer, pas possible de l'analyser sans faire un lexer, un parser…
Il n'y a pas que un docteur, mais exemple hôpital, tu avances les milliers d'Euros qu'il faut pour un opération d'urgence?
La plupart du temps, la santé du patient est prioritaire, non ?
1) Si tu as le temps : tu donnes la carte de ta mutuelle en arrivant, et l'hosto traitera probablement directement avec eux.
2) Si tu n'as pas le temps (eg, tu es aux urgences, en petits morceaux), l'hôpital te soigne, et verra ensuite comment vous faire payer, toi ou ta mutuelle.
[^] # Re: "Tail call optimization"
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Chantonnons en récursion . Évalué à 2.
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 !
[^] # Re: Il ne faut pas confondre l'innovation et le progrès.
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal De l'inéluctable progrès de l'informatique, ou pas.. Évalué à 2.
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.
[^] # Re: Avantages de la programmation fonctionnelle?
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Adopter un style de programmation fonctionnel. Évalué à 2.
Ok :)
[^] # Re: Avantages de la programmation fonctionnelle?
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Adopter un style de programmation fonctionnel. Évalué à 2.
C'est référentiellement transparent, System.Random.RIO?
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…
[^] # Re: Avantages de la programmation fonctionnelle?
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Adopter un style de programmation fonctionnel. Évalué à 4.
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é…
[^] # Re: Précisions historiques nécessaires
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse à la dépêche De tout, de rien, des bookmarks, du bla‐bla #45. Évalué à 1.
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.
Du lecteur, bien sûr.
1/ oui
2/ Le point débattu.
3, 4/ Non concernés par mon commentaire.
[^] # Re: Précisions historiques nécessaires
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse à la dépêche De tout, de rien, des bookmarks, du bla‐bla #45. Évalué à 1.
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.
# Précisions historiques nécessaires
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse à la dépêche De tout, de rien, des bookmarks, du bla‐bla #45. Évalué à 3.
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.
# Le tableau de bord
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au sondage Vers quelle partie du site LinuxFr.org allez‐vous en premier ?. Évalué à 6.
Parce que je veux surtout voir les réponses à mes trolls.
[^] # Re: Corrections et précisions
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au message Bépo, setxkbmap, RH5, virtualbox, et bug.. Évalué à 1.
Dans la mesure où le commentaire explicatif est déjà rédigé, modifier l'entrée ne ferait que prendre du temps…
[^] # Re: Corrections et précisions
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au message Bépo, setxkbmap, RH5, virtualbox, et bug.. Évalué à 1.
De toute évidence, parce que je n'avais pas remarqué ou j'avais oublié.
[^] # Re: workaround ?
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au message Bépo, setxkbmap, RH5, virtualbox, et bug.. Évalué à 2.
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…
[^] # Re: clavier definit dans l'hote et dans la VM
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au message Bépo, setxkbmap, RH5, virtualbox, et bug.. Évalué à 2.
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 ?
# Corrections et précisions
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au message Bépo, setxkbmap, RH5, virtualbox, et bug.. Évalué à 2.
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.
[^] # Re: bah...
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Du beau french bashing sur les sites anglophones à propos de la taxe Google !. Évalué à 3.
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.
[^] # Re: Mal renseigné
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal « Le domaine public est du communisme », pour Nicolas Seydoux, . Évalué à 10.
C'est pour ça que je change toujours de femme de ménage tous les 29 ans.
[^] # Re: Des noms ?
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal DLFP is dying!. Évalué à 3.
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]
[^] # Re: perte de vitesse du LL
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal DLFP is dying!. Évalué à 3.
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).)
[^] # Re: perte de vitesse du LL
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal DLFP is dying!. Évalué à 3.
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.
[^] # Re: perte de vitesse du LL
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal DLFP is dying!. Évalué à 2.
Le code est de prae< ou t'es secrètement amoureux de lui et tu le stalkes ? :)
[^] # Re: perte de vitesse du LL
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal DLFP is dying!. Évalué à 2.
Faut plus dire "intégriste" faut dire "communiste," comme au bon vieux temps.
[^] # Re: Lisp
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au message Homoiconicité. Évalué à 3. Dernière modification le 04 octobre 2012 à 09:36.
Ça commence mal.
Regarde ce programme lisp :
1
Ou celui-ci :
t
Ou celui-là :
'#.-42
Ou encore :
'|lol kthx bye|
Tout ce que l'homoiconicité ("même image") dit, c'est que le code peut être représenté par des données du langage.
Pour faire simple, si tu as un programme dont le code source est S, alors tu peux peux mettre S dans une variable d'un autre programme du même langage.
En (Common) Lisp ou en Scheme
(+ 1 3)
est un programme, et tu peux écrire
(let ((x '(+ 1 3))) ...)
et ça préserve la structure du programme initial.
alors qu'en C, tu ne peux pas.
Au mieux, tu fais
```
x = "#include int main(int a, int**b){return 42;}"
'''
mais ta chaîne de caractères est une chaîne, pas un programme. Pas possible de l'executer, pas possible de l'analyser sans faire un lexer, un parser…
# Ffado ?
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Sortie de ffado 2.1.0. Évalué à 10.
Je sais pas ce que c'est, donc ce journal ne m'intéresse pas.
[^] # Re: Il y a un éléphant dans cette pièce
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal good old games sous linux ?. Évalué à 1.
Quelle est la date de sortie du premier linux ?
Quelle est la date de sortie du premier OSX ?
Maintenant, lequel est le nouveau, logiquement ?
[^] # Re: encore un truc bien logique de nos ENArques
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Situation des frontaliers Suisse : vers la fin du choix de cotisation pour l'assurance maladie. Évalué à 2.
La plupart du temps, la santé du patient est prioritaire, non ?
1) Si tu as le temps : tu donnes la carte de ta mutuelle en arrivant, et l'hosto traitera probablement directement avec eux.
2) Si tu n'as pas le temps (eg, tu es aux urgences, en petits morceaux), l'hôpital te soigne, et verra ensuite comment vous faire payer, toi ou ta mutuelle.