hsyl20 a écrit 228 commentaires

A noter que l'auteur a présenté un peu tout ça à une école d'été à Cadarache.

Les slides sont dispo ici :
http://community.haskell.org/~simonmar/slides/cadarache2012/

On pourrait, mais il faudrait être sûr que ça vaille le coup. Dans le cas général, surtout dans un langage à évaluation non-stricte comme Haskell où il ne faut pas évaluer f(x) ou f(y) si a ou b n'est jamais utilisé, ni x et y si le paramètre de f n'est pas strict, c'est encore plus chaud.

Plus d'info :
http://www.macs.hw.ac.uk/~dsg/gph/papers/abstracts/par-intro.html

Ou R (http://www.r-project.org/) qui a de plus en plus le vent en poupe.

Oui pour faire des interfaces plus ou moins normales, c'est bien. Mais pour faire des trucs kikoolol comme Flash c'est plus difficile.

C'est arrivé beaucoup trop tard.

C'est fou, si Sun avait eu l'idée de remplacer Swing par un framework sexy à la ActionScript/Flash, on se serait peut-être épargné Flash, Silverlight, HTML 5, SOAP, node.js, PHP, JSON, etc.

Exactement. Du coup pourquoi le refaire en aussi pourri, voire souvent pire, 10 ans après ?

Tout converge vers Java Web Start : les applications web, etc. Sauf que c'est tout refait avec des technos pourries (JavaScript, PHP…) et des VM super lourdes (Firefox…).

Vivement vendredi.

En général on ne fait --force qu'une seule fois, après on va sur le wiki ;-)

Les mises à jour de Arch ne cassent pas le système tant qu'on suit ce qui est indiqué sur le wiki lorsque l'une d'entre elles demande une intervention manuelle.

pas de moi, mai j'adore

Ça ne m'étonne pas, vu que tu ne t'abreuves que de petites phrases.

Ce qui est rigolo avec les groupies, c'est que quoi qu'il arrive, il y aura toujours une bonne raison pour dédouaner leur Dieu.

Ah parce qu'il est arrivé quelque chose ? De quoi est-ce qu'on est sensé le dédouaner ? Éclaire-nous de ta science infuse et confuse.

Fort, très fort l'aveuglement… Aucun recul, rien, tout est toujours super avec son Dieu.

Venant de quelqu'un qui répète des poncifs libéraux à longueur de messages, c'est "rigolo".

Quant à croire que les militants considèrent JLM comme un Dieu, on voit que tu ne les fréquentes pas et qu'encore une fois tu écris sans savoir. On peut avoir du respect pour quelqu'un qui a décrit en détails en 2007 ce que Hollande est en train de faire aujourd'hui et ce qu'il s'apprête à faire sans pour autant l'idolâtrer. L'aveuglement n'est pas là où tu sembles le croire.

et dire qu'il y en a qui tractent gratuitement… Plus besoin d'esclavage, les gens travaillent volontairement gratos pour permettre à d'autres de voyager en classe affaires, pour peut qu'on les abreuve un peu de petites phrases qui font plaisir

Ah bon c'est le parti qui paie ses déplacements ? Première nouvelle. Moi qui pensais que c'était pris sur le budget qui lui est alloué pour ça en tant que député européen. Tu dois avoir des sources bien informées.

Tu confonds ton cas avec celui des militants. Comme on ne passe pas notre temps à écrire n'importe quoi sur LinuxFr, on a le temps de lire des livres, dont ceux de Mélenchon, et on sait ce qu'il y a derrière les "petites phrases". Si tu as une coupure Internet, je te recommande "En quête de Gauche".

Tiens ça me fait penser que j'ai oublié d'envoyer ma note de frais à Mélenchon pour le weekend à Villeneuve-sur-Lot à décoller les affiches du FN, du MIL (UMP) et assimilés (Miguet…). Il doit y avoir un bonus en plus pour travail de nuit et sous la pluie.

Et après ils vont se plaindre qu'ils n'étaient pas au courant quand le Grand Marché Transatlantique sera appliqué et qu'on aura des brevets logiciels, des OGMs, des arbitrages privés, etc.

C'est rarement le cas. Tous les militants que je fréquente au PG ont un boulot à côté ou sont étudiants et ne visent pas une carrière politique. Néanmoins, les quelques arrivistes qu'on a récupérés (généralement en provenance du PS, mais pas de l'aile gauche du type PRS) vont effectivement venir distribuer un tract, faire une photo et se barrer. Mais ce sont des cas particuliers que tu ne dois pas croiser souvent surtout hors période électorale et qui dégoûtent bien ceux qui triment le reste du temps.

Peut-être que le fait de savoir que le mec (ou la nana) qui te tend le tract fait ça sur son temps libre, qu'il a cotisé pour imprimer les tracts et qu'il le fait par conviction plutôt que pour le pognon, ça change quelque chose.

On peut ajouter Vimus dans la liste des clients :
https://github.com/sol/vimus

Une interface de type VIM, le tout écrit en Haskell. Bref le top :)

Personnellement j'attends le moment où quelqu'un va développer un toolkit graphique basé sur les canvas HTML 5 (si c'est pas déjà fait). En gros une page Web serait composée d'un unique canvas qui prendrait tout l'espace dispo. Vu comme on est parti dans la connerie (tout par tcp + port 80 + http + html et autres json), ça m'étonnerait que ça s'arrête en si bon chemin. On pourrait l'appeler swing, en hommage.

Merci ! J'ai copié ton message et je regarderai tout ça dès que j'aurai un peu de temps. Je connaissais Clean de loin notamment pour l'alternative aux monades utilisée pour gérer les IO, mais il faudra que je regarde ça de plus près.

Il y a des langages « orientés performances » où l'on peut expérimenter ce genre de fonctionnalités ?

Pas que je sache. Dans le cadre du calcul haute performance, l'offre en matière de langages de programmation de haut niveau est très limitée.

Sinon, les contraintes de linéarités et autres logiques sous structurelles offrent également des garanties intéressantes pour la génération de codes performants et parallélisables.

J'ai regardé rapidement car je ne connais pas tout ça. Tu as des références à recommander ?

On cherche à déterminer statiquement le plus d'informations possible sur les dimensions des données pour pouvoir anticiper les partitions et les distributions des données automatiquement.

Si un jour un langage implémentait tout ces paradigmes, je pense qu'il serait celui qu'on pourrait le plus considérer comme langage absolu.

Ça existe déjà et ça s'appelle Oz (cf Peter Van Roy). Je vous recommande de lire son livre d'ailleurs (Concepts, Techniques and Models) ou au moins l'article résumé : http://www.info.ucl.ac.be/~pvr/VanRoyChapter.pdf

Tu n'es pas obligé d'utiliser Haskell. Tu as des langages fonctionnels stricts et tu peux utiliser de la réduction de graphe en parallèle. Si tu ajoutes d'autres contraintes pour avoir un modèle "total functional" ou des "dependent types" tu as encore d'autres propriétés qui peuvent être utiles pour le parallélisme.

Ne pas confondre popularité et qualité. Loft Story est/était populaire et pourtant ça reste de la daube.

Premier point : on peut faire de la programmation impérative avec Haskell. La différence avec Scala et Ocaml c'est que le compilateur sait quelles zones du code effectuent des effets de bord car ça apparaît dans les types. Exemple :

import System.IO

main = do
  putStr "Enter your name: "
  hFlush stdout
  s <- getLine
  putStrLn $ "Hello " ++ s

Le type de la fonction main est "IO ()", le IO indiquant que la fonction fait des effets de bord. Le "do" indique que les lignes de code de la fonction doivent être exécutées séquentiellement. (Je simplifie un maximum. Ceux qui sont intéressés pourront lire que "do" est du sucre syntaxique pour tous les monads, ici l'IO monad).

C'est une différence fondamentale : par défaut les effets de bord sont interdits. En Scala la question revient souvent d'intégrer un "effect system" pour détecter les fonctions pures des autres. Il est question d'ajouter des annotations de type @pure. Mais ça pose des problèmes, par exemple :
- la bibliothèque standard repose sur celle de Java qui n'a pas ces annotations.
- que faire pour les fonctions du genre List[A].map(f : A -> B) pour lesquelles le comportement et les optimisations ne sont pas les mêmes si f est pure ou non ?
Bref c'est pas pour tout de suite…

Pour finir une petite citation de Guy Steele qui cherchait à créer un successeur à Fortran dans le domaine du calcul haute performance à travers le projet Fortress :

Although Fortress is originally designed as an object-oriented framework in which to build an array-style scientific programming language, […] as we've experimented with it and tried to get the parallelism going we found ourselves pushed more and more in the direction of using immutable data structures and a functional style of programming. […] If I'd known seven years ago what I know now, I would have started with Haskell and pushed it a tenth of the way toward Fortran instead of starting with Fortran and pushing it nine tenths of the way toward Haskell.

Traduction rapide :

Bien que Fortress soit conçu à l'origine comme un cadriciel (framework) orienté-objet au sein duquel on pourrait utiliser un langage de programmation orienté tableaux, […] plus nous expérimentions et essayions de mettre au point le support du parallélisme, plus nous nous sommes trouvés entraînés du côté des structures de données immuables et de la programmation fonctionnelle. […] Si j'avais su ce que je sais maintenant il y a 7 ans, j'aurais commencé avec Haskell et l'aurait modifié de 10% en direction de Fortran plutôt que de commencer avec Fortran et de le modifier de 90% en direction d'Haskell.

http://www.haskell.org/pipermail/haskell-cafe/2011-January/088245.html

C'est ce qui est fait au Venezuela, d'ailleurs Jimmy Carter a dit "Election Process in Venezuela is the Best in the World".

Si j'ai bien compris, l'électeur s'identifie avec un code et son empreinte digitale. Il vote électroniquement et la machine imprime un bulletin que l'électeur vérifie et va mettre dans l'urne.

Du coup ça évite les bulletins manquants pour les "petits" partis, ça permet le comptage rapide et ça n'empêche pas la vérification manuelle des votes dans l'urne.