dzecniv a écrit 458 commentaires

Salut,

Merci pour toutes ces infos.

Pour aller au-delà de la syntaxe: la vie d'un développeur Raku est-elle confortable ? Le shell interactif est-il bien interactif ? (entre IPython et Lisp peut-etre ?) Le typage donne-t-il de bonnes informations ? (et si on ne type pas, a-t-on des warnings du compilateur malgré tout ?) Est-ce que déployer une application ou la livrer à un utilisateur est plus plaisant qu'avec Python ? (stabilité de l'écosystème, outils de déploiement… peut-on construire un exécutable ?)

Salut,

Common Lisp et Racket sont des langages fonctionnels, par défaut au typage dynamique

Common Lisp est un langage multi-paradigme, pas purement fonctionnel donc, compilé et fortement typé, qui permet du typage graduel, tout en utilisant son excellent REPL (devrait-on dire, image-based development). Mais il ne fait pas autant d'inférences de typage que les langages modernes (Haskell et cie). Pour cela des librairies émergent… (https://github.com/stylewarning/coalton/)

À noter que comme on code avec le REPL à côté, on compile notre code fonction par fonction avec un raccourci clavier… c'est terriblement efficace.

Il existe aussi typed-racket.

compilent vers du code assez efficace

Carrément. Les articles de blog qui montrent que Common Lisp peut être autant ou plus efficace que du C affluent (oui oui, on croule dessous :p ). Car Common Lisp permet de déclarer ses types un peu partout, quand on veut. On peut vraiment partir à la chasse à l'optimisation.

[macros] mais non hygiéniques

Je ne suis pas dans ces débats, donc perso je m'en fiche. Pour se protéger, on utilise le système des gensym pour déclarer une nouvelle variable dans une macro, qui aura donc un nom unique, et voilà.

Un peu plus fonctionnel, en particulier la construction extrêmement flexible loop

Je suppose que tu voulais dire "un peu plus impératif" ! Exemples de loop, qu'il faut apprendre par l'exemple: https://lispcookbook.github.io/cl-cookbook/iteration.html

le gestionnaire de paquets lui-même, bien que fonctionnel, est considéré bêta depuis très très longtemps.

Oui, Quicklisp, comme d'autres librairies, est marqué "beta software" mais il est pleinement fonctionnel. Il n'est marqué beta que parce la communauté Common Lisp joue le jeu de la stabilité à fond. Un programme stable va durer des décennies. Il n'est pas rare qu'un programme écrit dans les année 90 (soit juste après la standardisation ANSI du language) tourne toujours sans modification. Personnellement j'ai vu des warnings de dépréciation rester pendant 16 ans ! Compare cela aux langages d'aujourd'hui, comme Python…

Par ailleurs, Quicklisp est un peu différent des autres gestionnaires de librairies. Il fonctionne en "releases" mensuelles, un peu comme apt. Il garantit que les librairies d'une même release peuvent s'installer ensemble.

Notez que des alternatives avec un autre modèle émergent: Ultralisp, CLPM…

la nature humaine étant ce qu'elle est,

Si on pouvait la laisser de côté quand on parle de nous ça serait cool.

Python est bel est bien entré dans le mainstream.

Ça oui. Il n'y a pas de raison pour qu'une DSI veuille ré-écrire un projet Python qui marche en PHP ! (je l'ai vu…)

Quel language, numéro 1 dans les années 80, est toujours plus populaire que Haskell, Lua, Kotlin, TypeScript, Nim, Clojure, Elixir ou F#? … Lisp, messieurs dames !

maturité du langage Python dans l’industrie

L'indice veut dire que beaucoup de monde cherche sur google comment faire quoi avec Python.

Un professeur de droit qui pense que non: https://www.lemediatv.fr/emissions/2020/alerte-la-loi-de-securite-globale-est-une-grave-atteinte-a-letat-de-droit-KwL5xNjRQU-5QdLVwZykaw petit cours de droit. Du grain à moudre.

Autre exemple: l'affaire Geneviève Le Gay, l'affaire du Burger King.

je ne peux pas répondre sur tout, mais sur ceci:

on peut être condamné si on a une preuve qu'on a lancé des pavés, sans prouver que c'est bien un des pavés qu'on a lancé qui a blessé le CRS

bein non, des gens ont été condamnés parce qu'ils étaient près du groupe qui lançait des pavés, sans preuve.

---

Pour du grain à moudre:

pour être interdites, les images doivent être diffusées dans le but de porter atteinte à l’« intégrité physique ou psychique » de l’agent. Un garde fou qui ne pèse pas lourd puisqu’ « à partir du moment où une personne diffuse ces images, le procureur a tout loisir de renvoyer devant un tribunal correctionnel en disant “je ne sais pas quelle est l’intention, ce sera au juge de le déterminer” », explique l’avocat Arié Alimi au site Reporterre.

https://rapportsdeforce.fr/pouvoir-et-contre-pouvoir/violences-policieres-ces-images-que-lon-ne-verra-plus-11048442

https://reporterre.net/Interdiction-de-diffuser-des-images-de-policiers-drones-reconnaissance-faciale-ce-que

Les principaux syndicats de journalistes sont également farouchement opposés au contenu du projet de loi et dénoncent une attaque inédite contre la liberté d’informer. Des vidéos contenant des images de policiers ont parfois une grande valeur informative : elles avaient par exemple permis de faire la lumière sur plusieurs événements comme l’affaire Benalla, l’affaire Le Gay ou la mort de Cédric Chouviat.

objectif avoué:

La communication ministérielle laisse d’ailleurs peu de doutes sur les objectifs de cette loi. Sur RMC le 2 novembre, Gérald Darmanin exposait clairement ses intentions : « J’avais fait une promesse, celle ne plus pouvoir diffuser les images des policiers et des gendarmes sur les réseaux sociaux. Cette promesse sera tenue puisque la loi prévoira l’interdiction de la diffusion de ces images ». Une promesse qu’il avait effectivement faite le jeudi 10 septembre lors du congrès du syndicat UNSA police où il annonçait vouloir « retenir l’idée d’obliger les télés et les réseaux sociaux à ne pas diffuser les images des visages des policiers, mais de les flouter ». La raison invoquée : « Protéger [ceux] qui nous protègent », renchérissait Marlène Schiappa.

sans preuve de cette intention.

La justice ne condamne pas toujours avec des preuves…………… (notamment dans le cas de procédures rapides lors de mouvements sociaux)

Ah ?

Donc on est d'accord que si LinuxFr me refuse de faire la pub (par une dépêche) de mon logiciel non libre, c'est de la censure?

ce n'est pas du tout équivalent à ce qu'il s'est passé sur Facebook.

Assez d'accord, néanmoins

ils dépendent de flux que leur apporte Facebook qui est financé par ?

On dirait que tu dis qu'ils dépendent de la pub publiée sur Facebook. Je trouve qu'ils ont été assez cohérents: propre site, flux RSS, infolettre, publication sur d'autres réseaux sociaux… et il se trouve, classiquement, que la plupart de leurs visites, et donc des gens qui in-fine leurs faisaient un don, venaient de Facebook. Oui, il serait encore plus cohérent pour eux de ne rien publier sur Facebook, évidemment. Mais pour que le journaliste espère pouvoir se payer un petit smic dans 2 ans, il lui faut plus de visites (et plus de dons). C'est dur de blâmer quelqu'un qui se sert de Facebook comme d'un levier professionnel, je trouve. Serait plus à blâmer l'utilisateur lambda. Espérons que cette affaire leur apporte plus de soutien financier de la part des lecteurs… (et que cela déride les yeux de certains)

Exemples non équivalents. Effacer tous tes posts de linuxfr, t'empêcher d'y publier, empêcher de poster en commentaire tout lien vers ton site, alors que tu y avais ta place précédemment, s'apparenterait à un pouvoir de censure.

D'après Robert:

Condamnation d'une opinion.

synonymes: désapprobation, réprobation

Me semble adapté.

Bref, ce n'est peut-être pas choquant pour des libristes (ras la casquette de Facebook et des plaintes d'utilisateurs qui sont outré·es par ses pratiques injustifiées, zonqu'à utiliser autre chose), mais l'exemple mérite d'être soulevé, et diffusé. Et qualifié comme censure. AMÀ.

Ce qui est surprenant c'est qu'un tel site utilise justement Facebook pour publier ou promouvoir ses articles.

Bof, qui peut s'étonner de ça ? Ils ont leur propre site pour publier les articles (le contraire eut été étonnant), et touchaient un plus large public avec Facebook.

Merci pour les définitions (modulo le petit commentaire, tu sais j'essaye plus d'avoir du grain à moudre que de te clouer le bec, je ne prends rien stricto sensu), mais qui ne me convainquent pas.

Je dirais tout à fait que la presse catholique censure les caricatures du pape. Ce qui ne surprendra personne. On pourrait imaginer que la presse catholique censure, en ne le publiant pas, tel journaliste qui aurait signé une tribune portant préjudice à l'image du pape, bien qu'il écrive sur tout autre sujet. Là, c'est dérangeant.

Et pourquoi doit-on lier «censure» à «service public» ?

La censure est la limitation arbitraire ou doctrinale de la liberté d'expression de chacun. Elle passe par l'examen du détenteur d'un pouvoir (étatique ou religieux par exemple) sur des publications, des pièces de théâtre, des films ou diverses œuvres d'art,avant d'en permettre la production et la diffusion au public. Par extension, la censure désigne différentes formes d'atteintes à la liberté d'expression et de création, avant et/ou après leur diffusion (censure a priori et a posteriori). La censure politique (limitation par le gouvernement de la liberté d'expression) est différente de la censure indirecte, non officielle, mais sous forme de pression, en particulier une forme de censure économique (due notamment à la concentration des médias, etc.) ; les phénomènes d'autocensure peuvent également être ajoutés.

https://fr.wikipedia.org/wiki/Censure

Par contre bien sûr, on ne devrait pas être surpris.

Pour rappel, ils ont leur site (cf le lien), mais la grande majorité de leurs visites vient de facebook.

Mais les blobs binaires dans le noyau linux, qu'utilise Debian ? Trisquel nettoie le noyau Linux des blobs binaires non libres et utilise Linux-libre, il me semble que c'est son but et son intérêt principal.

J'ai récemment découvert Cozy pour le partage de photos (minus la reconnaissance faciale), on a droit à 5Go gratuits. Cozy permet de partager des fichiers, et a d'autres "apps" sympas, par exemple des modules de connexion à son ou ses compte(s) en banque.

un shell lisp

pour ça, voir shcl https://github.com/bradleyjensen/shcl (un shell posix & Lisp mélangés), ou clesh (https://github.com/Neronus/clesh/), une interface encore plus mince entre lisp et le shell.

Salut, par exemple celui-là: https://portail.bastamag.net/

On envoie aussi nos donations à Gainsbourg ? :p

Mais de rien :)

Je tends fortement vers Rove (le successeur de Prove, par Fukamachi). J'ai éliminé Parachute récemment en l'essayant. Pour un choix "future proof" je pense qu'on a 5AM (très utilisé par les lispers) VS Rove. Or Rove a quelques fonctionnalités "modernes" par défaut, et c'est bien. Par exemple, possibilité de le lancer facilement depuis la ligne de commande.

Salut,

Belle petite librairie !

Un peu plus de doc pour les curieux et curieuses:

• voilà à quoi peuvent ressembler des tests en CL: https://lispcookbook.github.io/cl-cookbook/testing.html
• avec la particularité que quand un test échoue, on obtient un débogueur interactif, on peut corriger notre fonction, la compiler, et demander au débogueur de reprendre là où il en était et de voir le test passer. Sans avoir tout relancé. https://lispcookbook.github.io/cl-cookbook/testing.html#interactively-fixing-unit-tests
• + de librairies: https://github.com/CodyReichert/awesome-cl#unit-testing

Pour info, Mojeek aussi a un crawler indépendant: https://www.mojeek.com/ Il n'est pas libre, je ne sais pas à quel point il est transparent ou respectueux de la vie privée.

+1…

je lis même:

Par ailleurs, j’utilisais une montre connectée

on a gadget électronique sur gadget électronique… dénoncer la main mise des géants du net OK, mais là ils sont géants parce qu'on leur lèche les pieds. On a des problèmes d'enfants gâtés quand même.

télémétrie (joli nom pour dire pister).

dans smartphone, smart vient de "intelligence", renseignement en anglais.

Par ailleurs tant qu'on parle de téléphones portables, autant rappeler les multiples autres problèmes qu'ils posent, dans le monde ou dans nos contrées. Tout ceci, pour des trucs très pratiques, mais qui restent gadgets.

http://www.piecesetmaindoeuvre.com/spip.php?page=resume&id_article=7 (ne pas s'arrêter sur le ton un peu pédant. On apprend plein de trucs et c'est bien sourcé.)

Merci pour le retour et les infos.