À vrai dire, je n'ai pas encore essayé la nouvelle réécriture (im avec intégration GNUPlot, ce qui était une de mes requêtes à une époque) qui en plus est encore bien active (dernier commit il y a quatre mois) ; mais c'est bien ce type d'application. Aussi simple à utiliser que Lotus-1-2-3 ou VisiCalc avec en prime le vi keybinding. Pour ne rien gâcher, un format de donner purement textuel et scriptable.
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
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
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
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
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
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
[^] # Re: Premiers souvenirs
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au lien Le tableur Lotus 1-2-3 fonctionne sous Linux 30 ans après sa sortie. Évalué à 2.
À vrai dire, je n'ai pas encore essayé la nouvelle réécriture (im avec intégration GNUPlot, ce qui était une de mes requêtes à une époque) qui en plus est encore bien active (dernier commit il y a quatre mois) ; mais c'est bien ce type d'application. Aussi simple à utiliser que Lotus-1-2-3 ou VisiCalc avec en prime le vi keybinding. Pour ne rien gâcher, un format de donner purement textuel et scriptable.
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
[^] # Re: militants "écologistes" = méfiance
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au journal Les vidéos de Devoxx fr sont disponibles. Évalué à 2.
Il ou elle ou quoi fait juste du FUD et tente d'imposer son ressenti.
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
[^] # Re: Premiers souvenirs
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au lien Le tableur Lotus 1-2-3 fonctionne sous Linux 30 ans après sa sortie. Évalué à 3.
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
[^] # Re: intéressant
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au journal Comparatif d'outils d'analyse mémoire. Évalué à 2.
La compensation est assez forte aussi ;-)
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
# étiquette vaccination ???
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au lien rest in peace David Ward. Évalué à 2.
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
[^] # Re: Pourquoi parler de sa "net worth"?
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au lien rest in peace David Ward. Évalué à 2.
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
[^] # Re: Personne n'est à l'abri
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au lien A growing club of broken-by-design package managers. Évalué à 2. Dernière modification le 14 mai 2022 à 04:27.
ou juste les domaines
example.(com|net|org)
?“It is seldom that liberty of any kind is lost all at once.” ― David Hume
[^] # Re: Quel less ?
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au message less demande un suffixe pour lire utf8... et le lit correctement sans!? [en fait, c'est lesspipe.sh]. Évalué à 3.
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
[^] # Re: Le Quebec doit renverser l'académie française !
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au sondage Quel terme québecois mériterait le plus d'être généralisé en francophonie ?. Évalué à 5.
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
[^] # Re: Quel less ?
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au message less demande un suffixe pour lire utf8... et le lit correctement sans!? [en fait, c'est lesspipe.sh]. Évalué à 3.
Faut voir ce qui est mis dans
$lclocale
et$fchar
avant ce test. Et aussi vérifier si tu asiconv
qui est installé.“It is seldom that liberty of any kind is lost all at once.” ― David Hume
[^] # Re: refuser
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au message Recours contre le prélevement systématique d'empreinte génétique/digitales sur simple plainte. Évalué à 4.
Ç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
[^] # Re: théorie des ensembles pas naives
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au journal [Letlang] Et si on rédigeait la spec ?. Évalué à 7.
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.
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.)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
[^] # Re: Ordiphone
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au sondage Quel terme québecois mériterait le plus d'être généralisé en francophonie ?. Évalué à 4. Dernière modification le 10 mai 2022 à 06:28.
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
[^] # Re: Les métiers du doigt
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au sondage Quel terme québecois mériterait le plus d'être généralisé en francophonie ?. Évalué à 3.
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
[^] # Re: egoportrait
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au sondage Quel terme québecois mériterait le plus d'être généralisé en francophonie ?. Évalué à 4.
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
[^] # Re: chouine-gomme
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au sondage Quel terme québecois mériterait le plus d'être généralisé en francophonie ?. Évalué à 3.
…parce-que mâchent pas leur bruit ?
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
[^] # Re: Courriel est le mot francais officiel pour e-mail
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au sondage Quel terme québecois mériterait le plus d'être généralisé en francophonie ?. Évalué à 6.
Ç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
[^] # Re: Ordiphone
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au sondage Quel terme québecois mériterait le plus d'être généralisé en francophonie ?. Évalué à 4.
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
[^] # Re: Une grammaire ?
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au journal [Letlang] Et si on rédigeait la spec ?. Évalué à 2.
/me vote for BNF…
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
# LAP
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au journal [Letlang] Et si on rédigeait la spec ?. Évalué à 6.
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
[^] # Re: Courriel est le mot francais officiel pour e-mail
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au sondage Quel terme québecois mériterait le plus d'être généralisé en francophonie ?. Évalué à 6.
À 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
[^] # Re: Pour la francisation mais…
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au lien Ne dites plus « pare feu OpenOffice » dites « barrière de sécurité OpenOffice ». Évalué à 2.
C'est mort depuis la base…
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
[^] # Re: egoportrait
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au sondage Quel terme québecois mériterait le plus d'être généralisé en francophonie ?. Évalué à 4.
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
[^] # Re: Ordiphone
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au sondage Quel terme québecois mériterait le plus d'être généralisé en francophonie ?. Évalué à 4.
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
[^] # Re: Ordiphone
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au sondage Quel terme québecois mériterait le plus d'être généralisé en francophonie ?. Évalué à 4.
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