Appel à conférences PolyConf 17 à Paris (7 au 9 juillet) : « The Universe of Programming Languages »

9
14
mar.
2017
Éducation

PolyConf est une conférence pour échanger sur les meilleures pratiques de la programmation. Les programmeurs sont trop souvent réduits à un langage de programmation alors qu’il est plus sage, dans un contexte d’innovation constante, d’apprendre à apprendre et de combiner le meilleur de chaque langage dans des solutions ad hoc. Autrement dit, le fait de ne pas se spécialiser en tant que développeur sur un langage spécifique, pour préférer une approche polyvalente. Concrètement, cela s’est reflété dans le programme de l’événement qui a traité de nombreux sujets : Ruby, Python, Haskell, Rust, Erlang, Go, Java, F#, JavaScript…

NdM. : cette édition est intitulée « L’univers des langages de programmation. Ne voyez pas les frontières / limites, voyez les horizons » (The Universe of Programming Languages. Never see boundaries, but only horizons). Les trois précédentes éditions ont eu lieu à Poznan en Pologne. Les huit éditions précédentes (à l’époque l’événement se nommait « RuPy », a priori plus centré sur Ruby et Python) ont eu lieu à Budapest, Brno, au Brésil et en Pologne.

L’appel à conférences se termine le 19 mars.

Journal Sortie de GHC 8.0.2 et une petite histoire de typage statique

32
19
jan.
2017

GHC, le compilateur Haskell le plus utilisé, est sorti en version 8.0.2, vous pouvez consulter l'annonce de la sortie datée du 11 janvier 2017 ainsi que les notes de version

Il s'agit principalement d'une version de suivi qui corrige plus de deux cent bugs depuis la version 8.0 dont l'annonce de la sortie
avait été faite sur http://linuxfr.org. Donc à ce titre, il n'y a pas grand chose à raconter. Le futur, c'est GHC 8.2 qui (...)

Journal Une petite histoire d'utilisation type fort dans Ocaml

Posté par . Licence CC by-sa
16
14
jan.
2017

Obtenir du code correct par l'utilisation de types

Je vais illustrer cette idée avec un cas trivial mais pragmatique. Pour se mettre à un langage, rien ne vaut un petit projet perso, avant de passer aux choses sérieuses en regardant le code écrit par d'autres. Dans mon cas, il s'agit de l'écriture d'un utilitaire pour afficher des schémas Kicad et les différences entre deux versions (rien de gros ni professionnel comme GNU, comme dirait l'autre). Par avance, mes excuses aux (...)

Journal Tagless-final ou l'art de l'interprétation modulaire.

Posté par . Licence CC by-sa
31
22
nov.
2016

Dans la lignée du journal EDSL et F-algèbres, ce journal présente une méthode pour plonger un langage dans un autre (ici OCaml) qui généralise la précédente et centrée autour de la notion d'interprétation. Contrairement aux méthodes plus courantes pour résoudre cette question, la méthode tagless-final permet également de résoudre le problème de l'extensibilité : étendre un type de donnés, ajouter des opérations dessus, sans avoir à réécrire du code déjà compilé et cela avec la sécurité du (...)

Apprendre la programmation fonctionnelle avec le MOOC OCaml

Posté par . Édité par Benoît Sibaud, palm123, dourouc05 et jcr83. Modéré par Yvan Munoz. Licence CC by-sa
26
15
sept.
2016
Éducation

Pour la deuxième année consécutive, l'université Paris Diderot, en partenariat avec la Sorbonne, INRIA, IRILL et OCamlPro, organise un MOOC d'initiation à la programmation fonctionnelle avec le langage OCaml. Les leçons débuteront le 26 septembre 2016 et se termineront le 12 décembre. Les cours seront donnés en anglais mais des sous-titres sont disponibles aussi bien en anglais qu'en français. Il est toutefois possible de s'inscrire jusqu'au 25 novembre pour les retardataires.

Journal première sortie de "DAFT Allows File Transfers"

12
2
fév.
2016

Chers lecteurs,

J'ai le plaisir d'annoncer la première sortie de DAFT (v0.0.1).

https://github.com/UnixJunkie/daft

DAFT est un outil en ligne de commande pour transférer des fichiers de manière sécurisée, par exemple pendant une expérience computationnelle distribuée. C'est le compagnon idéal (pour les fichiers) de logiciels tels que PAR ou GNU parallel. PAR est un outil pour bouger efficacement ses données quand il n'y a pas de système de fichier distribué d’installé sur les noeuds. PAR ne nécessite pas de droits root (...)

Journal Qui fait des trucs "cools" en France et en Europe?

17
10
sept.
2015

Cher Journal,

J'ai l'impression qu'en France et en Europe, il y a sûrement des entreprises et des organisations qui font des trucs "cools", mais elles ne sont pas mises en avant.

Ce que j'appelle des trucs "cools", ce sont des projet orientés très programmation système (en C) ou programmation fonctionnelle (principalement OCaml, Haskell et Erlang. Mais ça peut aussi être C++14, Scala, Clojure, …) ou « big data », avec du R&D de préférence libre.

J'ai cherché, je n'ai presque (...)

Journal Résolution naïve d'un jeu de société

41
20
juil.
2015

Bonjour nal,
Aujourd'hui je vais te parler de résolution naïve d'un problème combinatoire, en explorant un arbre. Le problème vient d'un jeu de société, et la résolution se fera en Haskell, illustrant des notions intéressantes : Anamorphisme et Deforestation_(computer_science).

Explication du jeu

Le jeu du Ricochet Robots est un jeu de société constitué d'une grille de jeu, comportant des cases, avec des murs certains côtés, et certaines cases ayant un symbole d'une certaine couleur.

Quatre Robots (chacun d'une (...)

Journal Récent livre pour apprendre Haskell et la programmation fonctionnelle

Posté par (page perso) . Licence CC by-sa
25
13
jan.
2015

C'est un fait : la programmation fonctionnelle à la vent en poupe (enfin, de nouveau), et les processeurs multi-cœurs y seraient pour quelque chose.

Haskell est connu pour être un de ces langages puissants, mais pas forcément simple à aborder, surtout qu'il peut-être fainéant. Bref, il est souvent recommandé de s'y connaître un peu en fonctionnel avant de s'y attaquer.

Mais voilà, Richard Bird vient de sortir un nouveau livre permettant de découvrir la programmation fonctionnelle et haskell en (...)

Journal Journal Bookmark #2

32
15
déc.
2014

Coder efficacement, bonnes pratiques et erreurs à éviter

30
14
avr.
2014
C et C++

Développer une application peut rapidement devenir un enfer si vous n'avez pas anticipé certaines difficultés et fait les bons choix au moment de sa conception. Ce livre vous aidera à vous poser les bonnes questions et à tirer le meilleur parti de la programmation objet, en particulier en C++, sans tomber dans les pièges les plus fréquents. Il clarifie certains concepts délicats et passe en revue un ensemble de bonnes pratiques, qui rendront vos projets plus évolutifs et plus faciles à maintenir.

Titre de l'image

Journal Adopter un style de programmation fonctionnel

61
14
nov.
2012

John Carmack, c'est ce développeur de renom chez IdSoftware, qui a participé à la création de titres phares du jeu vidéo PC avec la série des Doom, des Wolfenstein et des Quake. Bien que n'étant pas des logiciels libres, leurs moteurs sont régulièrement libérés et LinuxFR se fait l'écho de ces libérations depuis sa création (ici, et par exemple). Bref tout ça pour dire que je sais bien qu'il ne fait pas du logiciel libre, (...)

Journal Du livre "Premiers cours de programmation en Scheme"

10
14
mar.
2011

Voici un bel ouvrage sur Scheme et la programmation en général paru récemment chez Ellipses : Premiers cours de programmation en Scheme de Jean-Paul Roy.

PCPS

Jean-Paul Roy est agrégé en mathématique et enseigne au département informatique de l’Université de Nice Sophia-Antipolis. Il enseigne depuis plusieurs années LISP et est connu des schémeurs francophone pour son Mémento du schémeur.

L’ouvrage qui nous occupe est, selon les dires même de l’auteur, le fruit attendu de ces nombreuses années à enseigner (...)