Gil Cot ✔ a écrit 7278 commentaires

Pas loin, mais pas encore assez proche de la cinquantaine. (:
Lotus 1-2-3 est le premier tableur que j'ai connu, sous MS/PC DOS… Et avec le recul, je trouve ça quand plus simple que ce qui se fait maintenant (j'ai du mal à m'y retrouver dans tous les boutons et menus) …sauf sc que j'utilise encore souvent.

“It is seldom that liberty of any kind is lost all at once.” ― David Hume

trouver des erreurs sans des binaires sans avoir les sources.

Ce qui est assez fort en vrai ! ;-)

Mais plus sérieusement, c'est une force de ces outils : on peut les utiliser dans rien changer au build (genre en tant qu'enseignant, juste ajouter valgrind devant la ligne de commande d'exécution sans avoir à subir les atrocités que l'étudiant a écrit dans son Makefile…).

La compensation est assez forte aussi ;-)

“It is seldom that liberty of any kind is lost all at once.” ― David Hume

Je n'ai vu mentionner nulle part quelque lien avec quelque vaccin. Vraiment bizarre.

“It is seldom that liberty of any kind is lost all at once.” ― David Hume

Pas faux. Ils/Elles ont voulu trop en mettre là où d'autres ont fait très court.
https://www.nintendolife.com/news/2022/05/david-ward-co-founder-of-uk-game-developer-ocean-software-has-passed-away

Je n'avais pas vu passer ShackNews sinon c'est ce lien que j'aurais proposé.

“It is seldom that liberty of any kind is lost all at once.” ― David Hume

ou juste les domaines example.(com|net|org) ?

“It is seldom that liberty of any kind is lost all at once.” ― David Hume

Arf, semble que plus personne ne l'a utilisé depuis qu'on ne fait plus de latinX

“It is seldom that liberty of any kind is lost all at once.” ― David Hume

Pousse pas trop, c'est la botte qui a donner ce verbe dont la traduction en français est « amorcer » …parce-que c'est ce que faisaient ces programmes à l'instar des chausse-pieds pour les bottines.

“It is seldom that liberty of any kind is lost all at once.” ― David Hume

Faut voir ce qui est mis dans $lclocale et $fchar avant ce test. Et aussi vérifier si tu as iconv qui est installé.

“It is seldom that liberty of any kind is lost all at once.” ― David Hume

Ça ressemble fortement à de la présomption de culpabilité non ?

“It is seldom that liberty of any kind is lost all at once.” ― David Hume

Je ne vois toujours pas en quoi ils n'ont pas de type au sens IT du terme.

Il n'existe pas d'opération typeof qui retourne le type de l'objet, car il existe une infinité de collection distincte qui contiennent cet objet.

Je crois que ce que kantien tente de te dire, c'est qu'en restant sur l'aspect purement mathématique (vu que le sujet t'intéresse), ce que tu appelles « collection » forme un type ou « ensemble de valeurs »
L'opposition « type au sens IT » ne fait pas sens pour tout le monde… parce-que d'une part IT est un peu vague et surtout d'autre part ne recouvre pas les expériences de tout le monde. Or kantien a une autre expérience des langages (à la lecture il ne fait pas que du OCaml mais aussi fort vraisemblablement des langages de preuve et de spécification formelle ?) bien différente de la tienne.

Un type c'est un ensemble de valeurs (comme N, Q ou R)

Ce qui n'est pas le cas dans la plupart des langages de programmation, en C, en C++, en Python, en Java, etc… le type est une propriété intrinsèque de la-dite valeur.

Voilà, le type en C n'est pas le type en OCaml ni le type en Prolog ni le type en Lisp ni…
Pour des langages comme C/C++/Python/Java la notion de type est plutôt loin de la définition mathématique des ensembles (malgré le parallèle en surface) car ce qui est appelé type est plutôt pour la représentation en mémoire… Un langage pour lequel on doit se préoccuper de savoir comment on interprète chaque octet (int/byte/float/char/whatever) a un typeof alors que d'autres langages s'en foutent (ou du moins c'est transparent pour les usagers.)

Dans ton exemple, OCaml croit que l'on ne peut pas additionner des nombres pairs, ce qui est complètement faux.

C'est juste que l'exemple choisi fait lever une alerte (ce n'est pas une erreur ou une impossibilité) sur une ambiguïté : doit-on considère qu'on reste en nombres pairs (et donc si pour une raison quelconque on se retrouve avec des trucs impaires ça passe pas) ou doit-on juste voir que ce sont des entiers après tout (et donc il n'y a pas de problème si on se retrouve avec des impaires.) Ce genre de comportement n'est pas lié aux typeof stricto-sensus mais au fait que ces langages se veulent un peu contraint (c'est le cas aussi en Ada, parce-que tu peux avoir défini un ensemble comme des pointures de chaussure et l'autre comme des nombres de paire de chaussures, donc on peut additionner mais le compilo craint d'additionner des choux et des carottes là où justement C n'y aurait vu que du feu.)

“It is seldom that liberty of any kind is lost all at once.” ― David Hume

On avait inventé le mot phablette pour ça ; mais c'est vrai qu'aujourd'hui la limite est de plus en plus ténue.

“It is seldom that liberty of any kind is lost all at once.” ― David Hume

Pourtant les académiques ont tout d'un difficile DOS sous des habits étincelants de Fenêtre.
Sinon les sa-U existent.

“It is seldom that liberty of any kind is lost all at once.” ― David Hume

Bien vu pour la graphie…

Peut-on dire que cet être lumineux diffuse son cogito visiblement ?

“It is seldom that liberty of any kind is lost all at once.” ― David Hume

…parce-que mâchent pas leur bruit ?

“It is seldom that liberty of any kind is lost all at once.” ― David Hume

Ça c'est en fait pour la forme abrégée seulement, à l'image de « tél »

“It is seldom that liberty of any kind is lost all at once.” ― David Hume

Celui là c'est pour les Pocket Computers et les palmtops ;-)

“It is seldom that liberty of any kind is lost all at once.” ― David Hume

/me vote for BNF…

“It is seldom that liberty of any kind is lost all at once.” ― David Hume

C'est pourquoi j'ai décidé de reprendre le concept sous forme de LEP, Letlang Enhancement Proposals (pour ceux qui vont me dire "meh ça sonne un peu comme la lèpre", je leur répondrais "trouve moi un meilleur nom et soumet une LEP par mail").

Letlang Amelioration Proposals et la traduction en français est miroir et non secam hugh. Mais je soumets par ce commentaire et non par mail.

“It is seldom that liberty of any kind is lost all at once.” ― David Hume

À noter que le mail est à l'origine un emprunt au français… de l'époque des malles-postes…

“It is seldom that liberty of any kind is lost all at once.” ― David Hume

C'est mort depuis la base…

• kit → trousse/ensemble/…
• root → racine/source/origine/…

Inventer un nouveau mot est un défit d'inventivité très challangeant

“It is seldom that liberty of any kind is lost all at once.” ― David Hume

La graphie sous-entend le dessin, ce qui fait que ce mot serait très bien adapté pour un autoportrait en peinture/crayon/etc.
Du coup, pour le cas qui nous préoccupe, pourquoi pas egophoto ? (mais ça ne dit pas que le sujet est aussi à la manœuvre ; egotofoto alors ?)

“It is seldom that liberty of any kind is lost all at once.” ― David Hume

Je crois que l'idée derrière le militaire est le même que les intelligence services : pas de lien direct avec l'intelligence vulgaire, mais plutôt avec l'ingéniosité pour s'pier les secrets…

“It is seldom that liberty of any kind is lost all at once.” ― David Hume

Appellation absurde mais qui va dans le même sens que son homologue anglais… Je ne trouve pas ce truc smart en soi, mais c'est bien pensé comme espion.

“It is seldom that liberty of any kind is lost all at once.” ― David Hume

Spoiler est donc un mot français à l'origine, qui ne fait que revenir au pays après un petit tour par la terre des Angles. Et nous, en bons hypocrites, nous l'accusons de ne pas être de chez nous !

En as tu scanné d'autres comme ça ?

“It is seldom that liberty of any kind is lost all at once.” ― David Hume

il n'y a aucune vérification des sources

?!?
!?!

“It is seldom that liberty of any kind is lost all at once.” ― David Hume