Axioplase ıɥs∀ a écrit 3042 commentaires

>> Ca c'est très discutable, dans Eros il se sont rendu compte que dans certaines fonctions la valeur retournée n'aurait pas du l'être, ce qui peut être génant dans certains cas (capabilities).

Je viens de relire vite fait le papier sur Eros (ICFP'07), et je ne vois ni capabilités, ni retour de valeur qui n'aurait pu l'être autrement.
Je demande qu'on m'éclaire sur ce point.
Et tu peux *toujours* ne pas retourner de valeur, c'est à ça que servent unit ou les types sommes que sont Maybe a en Haskell et 'a option en OCaml.
Et encore une fois, décider « la dernière sous expression évaluée dans e est la valeur retournée par e » permet d'économiser un mot clef.


Je trouve un return inutile, point barre.
Le ^ de smalltalk est un échappement, une rupture du flot de contrôle —contrairement au cas où l'on retourne la valeur de la dernière expression évaluée— et tu peux très facilement le simuler si tu as envie ; il est donc inutile de l'imposer dans la mesure où la majorité des gens s'en passent gaiement.

(define (ma-fun x)
  (call/cc (lambda (^)
             foo
             (if bar
               (^ h)
               quux)
             toto)))

Et une simple macro permet de rendre l'écriture du call/cc à la main inutile.

Non.
Si une fausse pièce de 1centime coûte moins à fabriquer, alors ça devient rentable.
Mais chiant à écouler, c'est sûr…

Paradoxalement ?

Le rapport intuitif est:
- si tout le monde à du fric sur soi, alors les vols devraient être fréquents non ?
- si personne n'a de fric soi, alors à quoi bon braquer les gens pour 5 euros ?

En gros, les habitudes devraient pousser à la criminalité (car tout le monde n'est pas riche, hein !), non ?
(Bon, en fait, on est dans la corrélation, pas l'implication, puis il manque au moins l'information sur l'écart de richesse/éducation entre les strates de la société pour "justifier" la quantité de vols et larcins commis. On a rarement des cadres supérieurs entrain de voler des sacs dans la rue, et s'ils sont largement majoritaires…)

c'est triste ton avi sur shotwell.

>> Heuuu, ya beaucoup d'etats uniens qui se ballade avec des liasses de billets de 100$ ?

Ça, je sais pas.
Mais au Japon, c'est très courant de se promener avec une liasse de billets de 10_000 Y
Au taux du jour, c'est en gros des liasses de billets de $120.

@ c'est l'opérateur de concaténation de listes.
[1;2]@[3;4];; (* [1;2;3;4] *)

return n'est pas un mot clé. Dans la mesure où le langage est fonctionnel et où toute expression et tout statement retourne une valeur, ça serait inutile d'avoir ce mot clef [http://caml.inria.fr/pub/docs/manual-ocaml/manual044.html]
En haskell non plus ce n'est pas un mot clef.


let _ = foo
ça évalue foo puis ça jette le résultat. _ est un nom de variable valide, mais qui n'est accessible qu'en écriture. Tu peux donc faire let x = 3 in x mais pas let _ = 3 in _. C'est une info pour le compilo qui peut économiser des registres en ne sauvant pas la valeur retournée.
La raison est que (>>) ne garde pas son résultat, alors que concatMap va me rendre une liste. Idéalement, il faudrait que je code une autre fonction qui me retourne la liste vide, mais j'ai eu la flemme, et le code ci-dessus a la même sémantique. (Et si tu te demandes l'intérêt d'évaluer une expression pour jeter son résultat, rappelle toi qu'on peut faire des effets de bord, donc que let _ = foo () in 42 et 42 ne sont pas pareil.)


Pour ne pas comprendre
let test () = foo, tu n'as pas du faire beaucoup de d'Ocaml.
Ça déclare la *fonction* test qui n'a aucun argument. À chaque fois que tu l'appelles, foo est évalué.
let test = foo déclare la *variable* test. foo n'est évalué qu'une fois, lors de la déclaration de test dont la valeur —qui ne changera plus jamais— est le résultat de l'évaluation de foo.

Bon, le code ci-dessous est crade, mais dériver EQ, c'est juste associer un nombre qui s'incrémente à chaque nouveau constructeur.
C'est d'ailleurs ainsi que c'est implanté en Caml, et sans doute en Haskell.

Et ça se fait en CL assez facilement.
(Après, il serait sans doute judicieux de passer par des méthodes génériques pour pouvoir traverser automatiquement des listes, vecteurs…)

(defmacro init-order-table ()
(defvar *order-table* (make-hash-table :test #'eql)))

(defmacro defconstant-ordered (&rest constants)
(cons 'progn
(loop for c in constants
for i from 0
collect
`(setf (gethash ',c *order-table*) ,i))))

(defmacro compare (sym1 sym2)
`(let ((v1 (gethash ',sym1 *order-table*))
(v2 (gethash ',sym2 *order-table*)))
(cond
((= v1 v2) 'EQ)
((< v1 v2) 'LT)
(t 'GT))))

(init-order-table)
(defconstant-ordered cFoo cBar)

(list
(compare cFoo cBar)
(compare cBar cFoo)
(compare cBar cBar))



type foo = Foo | Bar;;

[(compare Foo Bar);
(compare Bar Foo);
(compare Bar Bar)];;


Dire qu'il y a des monades en Haskell, mais pas en OCaml, c'est un peu comme dire qu'il y a des design pattern en C++ mais pas en Java…

let concatMap f x = List.fold_left (@) [] (List.map f x);;
let return x = [x];;
let (>>=) v f = concatMap f v;;
let (>>) v f = let _ = concatMap f v in [];;

let test () =
[0;1;2;3;4;5] >>=
(fun x -> ["A";"B";"C";"D";"E"] >>=
(fun y -> return (x,y)));;


Et voila le travail.

Les monades, quand on code, c'est rien d'autre qu'une interface…
Et vu qu'OCaml a une couche objet, j'imagine qu'on peut même coder ça proprement, avec l'inférence de type qui se charge d'appeler les méthodes ">>=", ">>" et "return" correspondant à l'usage précis dans le code.

Et alors, ça change quoi ?
Ça veut dire que moins de programmes valides qu'on écrit en CL seront acceptés par Go, c'est tout !

Puis coller un typeur à CL (ou un sous-ensemble) c'est pas dur…


Tant qu'à faire, si je devais coder en Go, je programmerais sans doute en CL, pour compiler vers Go après au début, jusqu'à ce que les gens autour se rendent compte qu'il n'est en fait pas nécessaire d'utiliser Go…

Oui mais non.

>> - Comme dit sur l'article et qui tombe sous le sens, je ne vois pas comment Google peut être sûr qu'un terme particulier est lié au piratage.
>> Je peux très bien chercher un logiciel de rippage de DVD disponible en torrent...

Oui. Et dans les faits, ni « logiciel » ni « rippage » ni « DVD » ni « torrent » ne sont classés par google comme des termes liés au piratage. J'imagine qu'il y a assez de geeks là-bas pour qu'ils s'y connaissent un tant soit peu.

Ensuite, il est possible que le site laisse passer « torrent truite omble » mais pas « torrent le-dernier-flim-qui-vient-de-sortir. »


>> La censure n'est désormais plus réservée aux dictatures,

Et ne l'a jamais été.
Tu as toi-même du expérimenter la censure via tes parents bien avant, avec l'interdiction de regarder des films d'horreur ou de cul avant tes 10 ans. Ou même qu'ils t'avaient caché l'existence de ces films. Honte sur tes parents totalitaires, dictatoriaux et hadopistes. Et honte sur toi aussi, le fruit de leur union.

>> et en plus elle relève maintenant des désidérata d'entreprises et non de gouvernements.

En plus, google, c'est vraiment des connards : ils censurent le spam qui arrive chez moi ! Quelle bande d'enflures ! Ils censurent viagra, cyalis, online pharmacy, alors que si ça se trouve, y a plein de clients de gmail qui ont des besoins de soutient (pénien).

>> Chère ... lecteur (oui pas de s car je ne pense pas en avoir plus d'un)

Ouais, enfin, fallait écrire « lectrice » quand même alors…

Ouais, enfin, mettre des données secrètes sur le serveur web, hein…

>> tout le monde veut l'avoir en GPL

Non, seulement les frustrés qui sont coincés avec leur GPL manichéenne qui demande tout ou rien, et qui ne peuvent en conséquence pas avoir accès à ZFS comme ils le voudraient.

>> C'est à dire que l'ensemble du logiciel DOIT être distributé sous GPL (et ce sans violer les conditions des autres licences).

Distribué ou distribuable ?
C'est pas pareil du tout.
Distribué veut dire que je ne peux plus privatiser un bout de code en BSD fourni avec le logiciel GPL. Distribuable veut dire que si.

Si c'est le premier cas, je trouve que ça pue vraiment.

D'habitude, on écrit plutôt « Florent G. » et avec des majuscules aux noms propres.

Ouais, enfin, on fait pas le concours pour des clous, hein !
Il peut très bien participer pour gagner le lot. Et à moins que vous ayez prévu un lot par personne qui a participé à la CSS gagnante, je trouve que l'accès publique aux données et la notion même de concours sont incompatibles…

Alors bon, un concours où le gagnant (celui qui a bossé) n'est même pas sûr d'avoir son prix, raflé par un autre (celui qui a pompé), j'appelle ça un piège à con.

Dans les concours, les appels d'offre, je crois bien que ne pas dévoiler son travail en cours est ce qu'on appelle couramment du bon sens…
Si on avait le choix de se tirer une balle dans le pied, pourquoi pas, mais ça n'a même pas l'air d'être le cas…

Oui, mais comme j'ai qu'un seul port ethernet, je ne peux plus avoir de réseau local après car j'ai qu'un seul port ethernet (ça me dérange pas du tout de filer une IP statique sur le LAN.)
Donc je ne cherche pas tant que ça à partager le modem… Étant seul utilisateur, c'est pas un souci…

Seulement 3 votes ?!
Eh ben, c'était calme à l'époque…

Puis personne ne recevait plus de 50 mails de spam par jour ?
Eh ben, c'était calme à l'époque…

Ok, alors j'ai une question pour toi…

Dans ma conf, j'ai
>> ((modm, xK_space ), sendMessage NextLayout)

Mais des layouts, j'en utilise beaucoup beaucoup…
Et de temps en temps, je vais trop vite…
Le message PreviousLayout n'existe pas.
Comment je fais pour revenir au layout précédent sans faire le tour ?

Eh ben.
J'ai trouvé ce film d'une nullité. Même pas digne de passer sur M6 lors d'une soirée séries B…

T'as vu le terme plusieurs fois et t'as pas eu l'idée une fois d'aller chercher dans un dictionnaire ou sur internet, au hasard sur le wiktionnaire ?

(ceci est une intervention d'apparence aigrie à l'intention d'un probable comique de répétition, vu l'ancienneté de la moule.)

>> je t'invite à moinsser ce journal bookmark

Mais c'est vraiment pour te faire plaisir alors, car je fais ça à contre-cœur.

Dis-donc, t'as pas l'impression d'être un peu culotté là ?

Ça fait une semaine que t'as créé ton compte, t'es pas foutu de comprendre le bon sens et de communiquer clairement, et tu oses dire à un gars qui est là depuis 9 ans d'aller jouer ailleurs parce qu'il te dit comment faut s'y prendre ?

Eh ben…

>> Connaissant Microsoft on pourrait s'attendre à de la manipulation malveillante diabolique.

Oui, et c'est d'ailleurs forcément le cas. Il n'est pas possible qu'il en soit autrement.

>> Mais il reste encore plein d'inconnues avant de pouvoir soit applaudir des deux mains soit cracher sur cette annonce.

Non, c'est MS, alors on peut tout de suite cracher dessus. Avec MS, y a pas de juste milieu : soit ils ont tort, soit on a raison.

Alors crachons ! crachons !
Sus à la modération !