neil a écrit 428 commentaires

À noter (pour rebondir sur la deuxième partie du commentaire, le code, qui n’a presque rien à voir avec la première partie, la mémoïsation) qu’on peut aussi faire de la meta-programmation grâce à l’extension Template Haskell. Une extension très utilisée, qui permet aussi de faire de la meta-programmation à l’exécution (!) et qui voit sa sûreté renforcée grâce au typage dans cette nouvelle version. Probablement l’une des avancées fondamentales de GHC 7.8.

Si le langage était vraiment pur, tu n’aurais ni affichage pour voir le résultat, ni rien du tout, le simple fait d’exécuter du code sur un ordinateur a un effet (par exemple en cherchant à allouer une grande quantité de mémoire dans un système plus ou moins chargé).

En Haskell, le code est par défaut pur, et le code impur est très visiblement marqué comme tel. Dans ton exemple, foo est de type Num a => a -> IO a. On travaille donc dans la monade IO, qui a été spécialement conçu pour gérer les effets de bords. Mais il est vrai que la formulation de la dépêche est quelque peu obscure. L’équivalent Haskell d’une entrée comme input en Python est forcément impur.

D’un point de vue moins pragmatique, tu te trompes. Ta fonction foo n’a pas renvoyé un résultat différent à chaque fois. Elle a toujours renvoyé une Num a => IO a. Le fait qu’a un moment donné quelque chose (une valeur numérique, probablement un Int) ait été généré à partir de cette IO n’affecte pas la pureté de foo.

Bah, il faut faire des choix, soit on fait un disclosure responsable, soit on fait un site web avec des jolis logos :-)

Sinon, 10.0-RELEASE-p1 est sorti, pour ceux qui ne voulaient pas appliquer le patch et recompiler base, ni installer openssl depuis les ports (où heartbeat était déjà une option désactivable).

En fait si, 10.0 est affecté !! http://lists.freebsd.org/pipermail/freebsd-security/2014-April/007405.html

C’est surtout que heartbeat est désactive dans base. FreeBSD 10.0 qui inclut OpenSSL 1.0.1e n’est pas affecté, si on n’utilise pas une autre package.

surtout pour rechercher les tentatives de ssh.

Autant se faire une règle pf pour ça (ou iptables/denyhosts sous Linux).

Note : côté sécurité mais un peu en marge, la version 3.0 des pilotes Intel pour X.Org permettra à ce dernier de tourner sans les droits root en s'appuyant sur systemd/logind (le défunt OS Moblin 2.0 avait étrenné dès 2009 cette fonctionnalité rendue théoriquement possible par KMS).

Fonctionnalité disponible sous BSD sans utiliser SysTemD (pour Intel et ATI).

D’ailleurs il est aussi sûr de passer une demi heure dans un four à 250° que d’aller passer des vacances dans un pays chaud.

Ou des appuis successifs sur Entrée, après avoir sélectionné le lien > dans la toolbar (par f ou clic de souris).

Si tu veux juste mettre des formules, autant utiliser les extensions Inkscape qui permettent de le faire, par exemple textext.

D’ailleurs O’Reilly France ne s’en est pas sorti du tout.

Tu peux aussi faire tourner du « Linux » en jail FreeBSD

/racine natif en ZFS (bien qu'expérimental si j'en crois le menu d'installation)

De fait, ça a toujours très bien marché sans utiliser l’installeur graphique, au moins en version 8.x et 9.x. Installeur qui est un tantinet inutile vu le peu de commandes nécessaires à l’installation.

Pour le fameux blog de BSD FUD, tu pourras trouver quelques réponses en ligne.

Tout ça en prenant le meilleur de R

Le meilleur de R est l’accès aux milliers de packages statistiques disponibles dans CRAN.

simplifié la vie (ah le bonheur de ne plus se demander si la colonne 'z' était la troisième ou la quatrième

Pourtant nommer les colonnes est une fonctionnalité standard d’HDF5, dans les wrappers classiques tels que PyTables et h5py.

Sytoka voulait surtout savoir si Pandas permet d’accéder aux fonctionnalités d’hyperslab classiques en HDF5, qui sont souvent perdues dans les wrappers.

En Haskell, tu peux faire tout ça, et c’est fait dans les codes numériques, mais ça se fait à coup d’annotations (pour l’unboxing, l’inlining ou le déroulage), de template haskell (pour le déroulage), ou en changeant de backend (-fllvm pour les registres). Heureusement, beaucoup de ce genre de code est dans des bibliothèques déjà prêtes (vector pour l’unboxing).

Dans tous les cas ça sera moins long que le temps de réparer un rm -fr /mon/serveur/ma/sauvegarde ou l’équivalent FTP/SSH/Dav pour les malins qui ont les sauvegardes en rw.

Le root peut surtout bousiller le matériel en outre-passant les protections standards du noyau.

Qu’il y ait un mot de passe ou pas, un script malveillant a juste à faire alias sudo=toobad; alias su=… pour choper le mot de passe à un moment ou à un autre.

Je n'arrive pas vraiment à comprendre pourquoi aucun logiciel natif, simple comme strut

Parce que Struct (ou Sozi) n’est pas un logiciel de présentation, c’est un logiciel d’animation très très limité (à des transitions entre des rectangles). Si tu as vraiment besoin de combler le vide d’une présentation par des effets kikoolol qui filent la gerbe avec des textes qui clignotent, tu peux utiliser un logiciel Adobe, ou le libre Synfig, il y a même une page dédiée à certaines transitions basiques sur le wiki.

Ça éviterait aux Européens de payer pour un brevet qui n’a aucun sens chez eux. Rien n’est gratuit, et si la license accordée à Cisco dépend du nombre d’utilisateurs potentiels, et que les Européens sont inclus, alors oui on paie pour ça. Même si l’on est pas un client cisco directement d’ailleurs, rien que pour consulter dlfp, il doit y avoir du cisco quelque part sur le chemin.

Faire planter le noyau en affichant du texte, GG quand même. C’est le genre de trucs qui me donne une (très) petit aperçu de la complexité d’un noyau…

Et d’entendre Tanenbaum hurler : « Je vous l’avait bien dit ! »

Tu peux consulter la liste des modules QML. Qt 5.1 a apporté son lot de composants graphiques clés en main, y compris la gestion des fenêtres (module QtQuick.Window), et autres contrôleurs thémables dont des éditeurs de texte et autres boutons (module QtQuick.Controls). Les arbres se font par liste récursives, plus ou moins, et il n’y a pas de contrôleur spécial prévu pour en développement. Créer ses propres contrôleurs QtQuick entièrement en QML est trivial.

Je ne connais pas du tout Rust, mais par exemple les GADTs ? (Edit : En fait non, ça a presque 20 ans.)