Journal Dhall, une réponse au problème de configuration

Posté par  . Licence CC By‑SA.
Étiquettes :
17
20
mai
2020

Cher Journal,

Ne te fie pas à l’intitulé, « le problème » n’est qu’un condensé fourre-tout pour ce qui est connu en tant que “Software Configuration Management issues” dans la lingua veicolare de la sphère informatique. Quant à Dhall, il s’agit d’un langage spécialisé dans la gestion de configurations1.

Présentation

Condensé en deux ou trois paragraphes

Dhall est un outil primordialement destiné à programmer les fichiers de configuration. En acronymes de moins de cinq lettres, tu as certainement (…)

Journal Une petite histoire d'utilisation type fort dans Ocaml

Posté par  . Licence CC By‑SA.
Étiquettes :
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 le style fonctionnel en vidéo (nix, nixos, haskell...), la suite...

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
14
29
juin
2018

Bon bah, j'ai continué les vidéos du journal précédent (https://linuxfr.org/users/nokomprendo-3/journaux/le-style-fonctionnel-en-videos-nix-nixos-haskell).

Au passage, je suis passé sur framagit et j'ai ajouté un formatage plus propre des articles via hakyll (https://nokomprendo.frama.io/tuto_fonctionnel).

Les nouveaux sujets :
- Personnaliser une image Docker de NixOS pour de l'intégration continue
- Déployer un blog avec Hakyll, Gitlab-ci, Nix
- Nix, programmation et loi de Murphy
- Créer et partager des paquets Nix
- Archlinux vs Voidlinux
- Migrer un système NixOS (de (…)

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

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
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 Du livre "Premiers cours de programmation en Scheme"

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
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 (…)

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

Posté par  . Édité par Benoît Sibaud, Davy Defaud et Nils Ratusznik. Modéré par Nils Ratusznik. Licence CC By‑SA.
Étiquettes :
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.

Forum Programmation.autre Langage fonctionnel "bas niveau" (genre C)

Posté par  . Licence CC By‑SA.
Étiquettes :
3
27
fév.
2015

Bonjour.

Je m'intéresse depuis un moment aux langages fonctionnels, et je reste convaincu que ces langages représentent l'avenir de l'informatique (entendons-nous bien : je ne crois pas qu'ils remplaceront complêtement les autres langages, mais qu'ils remplaceront ceux-ci dans certains domaines, notamment dans le cadre de la programmation concurrente).

Je cherche s'il existe un langage fonctionnel permettant de faire de la programmation bas niveau comme en C. En connaissez-vous ?