tuto_fonctionnel https://video.ploud.fr/c/tuto_fonctionnel@peertube.fr/videos https://nokomprendo.frama.io/tuto_fonctionnel/index.html Tue, 20 Oct 2026 11:32:32 GMT https://validator.w3.org/feed/docs/rss2.html PeerTube - https://video.ploud.fr tuto_fonctionnel https://video.ploud.fr/client/assets/images/icons/icon-96x96.png https://video.ploud.fr/c/tuto_fonctionnel@peertube.fr/videos All rights reserved, unless otherwise specified in the terms specified at https://video.ploud.fr/about and potential licenses granted by each content's rightholder. <![CDATA[tuto fonctionnel 41 : Comprendre Go en 5 minutes, en Haskell]]> https://video.ploud.fr/w/tC19SvSxBryYiwKxc1a8XZ https://video.ploud.fr/w/tC19SvSxBryYiwKxc1a8XZ Sun, 22 Dec 2019 09:20:47 GMT https://nokomprendo.gitlab.io/posts/tuto_fonctionnel_41/2019-12-21-fr-README.html
Erratum : le code pour les processus légers ne correspond pas tout à fait. Voir l'article.

D’après leur réputation, Go et Haskell sont des langages de programmation assez opposés : Go privilégie la simplicité, Haskell l’expressivité. Cependant ces deux langages ne sont pas si éloignés que cela. Plus exactement, les concepts de base de Go se retrouvent, de façon assez ressemblante, en Haskell.

Ce tutoriel reprend, en Haskell, les exemples de code en Go de l’article Comprendre Go en 5 minutes (https://www.jesuisundev.com/comprendre-go-en-5-minutes/). L’objectif n’est pas de présenter exhaustivement Go ou Haskell, ni de démontrer que l’un est “meilleur” que l’autre mais plutôt de montrer l’équivalent en Haskell de quelques fonctionnalités de Go.

]]> tuto_fonctionnel Science & Technology nonadult tuto fonctionnel 41 : Comprendre Go en 5 minutes, en Haskell https://nokomprendo.gitlab.io/posts/tuto_fonctionnel_41/2019-12-21-fr-README.html Erratum : le code pour les processus légers ne correspond pas tout à fait. Voir l'article. D’après leur réputation, Go et Haskell sont des langages de programmat... <![CDATA[tuto fonctionnel 40 : Gérer son environnement utilisateur NixOS, avec Home-manager]]> https://video.ploud.fr/w/czPrrT46d5Vfb8gW61FrBj https://video.ploud.fr/w/czPrrT46d5Vfb8gW61FrBj Mon, 11 Nov 2019 21:08:29 GMT https://nokomprendo.gitlab.io/posts/tuto_fonctionnel_40/2019-11-12-fr-README.html

Home-manager est un outil qui permet de gérer son environnement utilisateur : environnement de bureau, thème de fenêtre, thème d’icones, logiciels, paramètres des logiciels, services utilisateur, “dot files”…

Home-manager est prévu pour fonctionner sur la distribution linux NixOS et utilise le gestionnaire de paquets Nix.

]]> tuto_fonctionnel Science & Technology nonadult tuto fonctionnel 40 : Gérer son environnement utilisateur NixOS, avec Home-manager https://nokomprendo.gitlab.io/posts/tuto_fonctionnel_40/2019-11-12-fr-README.html Home-manager est un outil qui permet de gérer son environnement utilisateur : environnement de bureau, thème de fenêtre, thème d’icones, logiciels, paramètres des... <![CDATA[tuto fonctionnel 39 : Étendre ou modifier sa logithèque Nix avec les overlays]]> https://video.ploud.fr/w/6GYCwDcZXW3tTfYvHvgdVJ https://video.ploud.fr/w/6GYCwDcZXW3tTfYvHvgdVJ Sun, 10 Nov 2019 22:26:24 GMT https://nokomprendo.gitlab.io/posts/tuto_fonctionnel_39/2019-11-11-fr-README.html

Le gestionnaire de paquets Nix est hautement personnalisable. Pour cela, il reprend le principe de la composition de fonctions : un paquet est en fait une fonction qui indique comment ajouter ou modifier un logiciel à partir d’un environnement logiciel d’entrée.

Ainsi, la logithèque Nix n’est qu’un ensemble de paquets qui peuvent être appliqués pour construire l’environnement logiciel final. Les overlays permettent de modifier les paquets de cet ensemble ou d’en ajouter de nouveaux.

]]> tuto_fonctionnel Science & Technology nonadult tuto fonctionnel 39 : Étendre ou modifier sa logithèque Nix avec les overlays https://nokomprendo.gitlab.io/posts/tuto_fonctionnel_39/2019-11-11-fr-README.html Le gestionnaire de paquets Nix est hautement personnalisable. Pour cela, il reprend le principe de la composition de fonctions : un paquet est en fait une fonctio... <![CDATA[tuto fonctionnel 37 : NixOS 19.09]]> https://video.ploud.fr/w/tNQbKC4L6xB5PPUrPPLbYt https://video.ploud.fr/w/tNQbKC4L6xB5PPUrPPLbYt Sun, 10 Nov 2019 00:36:39 GMT https://nokomprendo.gitlab.io/posts/tuto_fonctionnel_37/2019-11-09-fr-README.html

NixOS est une distribution Linux basée sur Nix, un gestionnaire de paquets évolué. Nix permet à un utilisateur de créer des environnements logiciels personnalisés, fiables, isolés, reproductibles…

NixOS 19.09 est sorti le 09 octobre 2019. Ce post en présente quelques nouveautés et explique comment migrer de NixOS 19.03 à NixOS 19.09.

]]> tuto_fonctionnel Science & Technology nonadult tuto fonctionnel 37 : NixOS 19.09 https://nokomprendo.gitlab.io/posts/tuto_fonctionnel_37/2019-11-09-fr-README.html NixOS est une distribution Linux basée sur Nix, un gestionnaire de paquets évolué. Nix permet à un utilisateur de créer des environnements logiciels personnalisés... <![CDATA[tuto fonctionnel 38 : Cachix, un service de cache binaire basé sur Nix]]> https://video.ploud.fr/w/3qbue1znV7P2EhjQqTPhdP https://video.ploud.fr/w/3qbue1znV7P2EhjQqTPhdP Sun, 10 Nov 2019 00:30:51 GMT https://nokomprendo.gitlab.io/posts/tuto_fonctionnel_38/2019-11-10-fr-README.html

Cachix permet de gérer facilement un cache personnel de paquets binaires. Concrètement, il s’agit d’un service de cloud et d’un logiciel client, le tout basé sur le gestionnaire de paquets Nix. Cachix propose différentes offres, dont une offre gratuite de 10 Go de stockage en accès public.

Quand on utilise la logithèque officielle de Nix, on télécharge des paquets binaires déjà compilés. Nix permet très facilement d’empaqueter des programmes/bibliothèques personnels ou de modifier les paquets officiels. Mais dans ce cas, les paquets binaires correspondants ne sont pas dans le cache officiel et doivent donc être compilés sur la machine locale. Cachix permet d’envoyer les paquets binaires ainsi compilés sur un serveur. On peut alors récupérer ces paquets sur d’autres machines sans avoir à recompiler.

]]> tuto_fonctionnel Science & Technology nonadult tuto fonctionnel 38 : Cachix, un service de cache binaire basé sur Nix https://nokomprendo.gitlab.io/posts/tuto_fonctionnel_38/2019-11-10-fr-README.html Cachix permet de gérer facilement un cache personnel de paquets binaires. Concrètement, il s’agit d’un service de cloud et d’un logiciel client, le tout basé sur ... <![CDATA[tuto fonctionnel 35 : Introduction aux templates C++]]> https://video.ploud.fr/w/8VGPnvxuV8j2bQvmWUJKMQ https://video.ploud.fr/w/8VGPnvxuV8j2bQvmWUJKMQ Sun, 03 Nov 2019 23:15:36 GMT https://nokomprendo.gitlab.io/posts/tuto_fonctionnel_35/2019-11-01-fr-README.html

En C++, un template permet de paramétrer du code (fonction, structure, classe) selon un “type générique”. On peut ensuite spécifier un “type concret” que doit prendre ce paramètre de type et ainsi générer le code correspondant. On peut bien-sûr spécifier différents types concrets et ainsi générer différents codes, à partir d’un même template.

Les templates C++ permettent d’écrire du code générique, ce qui est parfois appelé méta-programmation. Il s’agit d’un outil très important en C++ mais assez difficile à maitriser.

Ce premier article sur les templates C++ en présente la motivation et les fonctionnalités de base.

]]> tuto_fonctionnel Science & Technology nonadult tuto fonctionnel 35 : Introduction aux templates C++ https://nokomprendo.gitlab.io/posts/tuto_fonctionnel_35/2019-11-01-fr-README.html En C++, un template permet de paramétrer du code (fonction, structure, classe) selon un “type générique”. On peut ensuite spécifier un “type concret” que doit pre... <![CDATA[tuto fonctionnel 36 : Les templates variadiques en C++]]> https://video.ploud.fr/w/v5cuamTNkN6RidCzPK8LZi https://video.ploud.fr/w/v5cuamTNkN6RidCzPK8LZi Sun, 03 Nov 2019 23:11:45 GMT https://nokomprendo.gitlab.io/posts/tuto_fonctionnel_36/2019-11-02-fr-README.html

Les templates variadiques sont des templates qui peuvent recevoir un nombre variable de paramètres. On peut donc les voir comme l’équivalent des fonctions variadiques (comme la fonction printf) mais pour les templates. Ils permettent d’implémenter des structures de données complexes, comme par exemple des tuples, tout en profitant du système de typage du compilateur. Les templates variadiques utilisent généralement des fonctionnalités classiques en programmation fonctionnelle, comme la récursivité ou la réduction.

]]> tuto_fonctionnel Science & Technology nonadult tuto fonctionnel 36 : Les templates variadiques en C++ https://nokomprendo.gitlab.io/posts/tuto_fonctionnel_36/2019-11-02-fr-README.html Les templates variadiques sont des templates qui peuvent recevoir un nombre variable de paramètres. On peut donc les voir comme l’équivalent des fonctions variadi... <![CDATA[tuto fonctionnel 19 : Créer et partager des paquets Nix]]> https://video.ploud.fr/w/4QiXn6G15kTXr7xe3mzTyS https://video.ploud.fr/w/4QiXn6G15kTXr7xe3mzTyS Tue, 30 Jul 2019 22:02:11 GMT Nix permet facilement de :

  • créer des paquets localement
  • regrouper des paquets dans un dépôt
  • soumettre des paquets à la communauté
  • tester des paquets soumis

https://nokomprendo.gitlab.io/posts/tuto_fonctionnel_19/2018-04-25-README.html

]]> tuto_fonctionnel Science & Technology nonadult tuto fonctionnel 19 : Créer et partager des paquets Nix Nix permet facilement de : créer des paquets localement, regrouper des paquets dans un dépôt, soumettre des paquets à la communauté, tester des paquets soumis, https://nokomprendo.gitlab.io/posts/tuto_fonctionnel_19/2018-04-25-READM... <![CDATA[tuto fonctionnel 17 : Migrer un système NixOS (de 17.09 à 18.03)]]> https://video.ploud.fr/w/3RYEmhinvrhD38GQnzrc5V https://video.ploud.fr/w/3RYEmhinvrhD38GQnzrc5V Tue, 30 Jul 2019 22:01:33 GMT Nix : système de paquets. NixOS : distribution linux utilisant Nix + un système de services.

Nix/NixOS utilise un système de versions (deux versions par an) + un canal unstable pour le développement.

Changer de version ou de canal se fait avec les outils classiques de Nix/NixOS.

Avantages de l’approche “fonctionnelle” : Pas d’effet de bord. On construit un nouveau système sans détruire l’ancien. On peut “switcher” entre les systèmes construits (par exemple, revenir au système précédent si le nouveau n’est pas satisfaisant).

https://nokomprendo.gitlab.io/posts/tuto_fonctionnel_17/2018-04-06-README.html

]]> tuto_fonctionnel Science & Technology nonadult tuto fonctionnel 17 : Migrer un système NixOS (de 17.09 à 18.03) Nix : système de paquets. NixOS : distribution linux utilisant Nix + un système de services. Nix/NixOS utilise un système de versions (deux versions par an) + un canal unstable pour le développement. Changer de version ou de canal se fait a... <![CDATA[tuto fonctionnel 16 : Développement web en Haskell]]> https://video.ploud.fr/w/go5MHQKrTMrAJWm8QkUkxj https://video.ploud.fr/w/go5MHQKrTMrAJWm8QkUkxj Tue, 30 Jul 2019 22:00:01 GMT Haskell est bien adapté au développement web côté-serveur : nombreuses bibliothèques, avantages du typage fort…

Objectif de ce tutoriel : exemple d’application web pour gérer une “TODO list”. Fonctionnalités à mettre en oeuvre : serveur web avec routage d’url, accès à une base de données, export JSON, génération dynamique de pages HTML/CSS

https://nokomprendo.gitlab.io/posts/tuto_fonctionnel_16/2018-04-01-README.html

]]> tuto_fonctionnel Science & Technology nonadult tuto fonctionnel 16 : Développement web en Haskell Haskell est bien adapté au développement web côté-serveur : nombreuses bibliothèques, avantages du typage fort… Objectif de ce tutoriel : exemple d’application web pour gérer une “TODO list”. Fonctionnalités à mettre en oeuvre : serveur web ave... <![CDATA[tuto fonctionnel 18 (HS) : Archlinux vs Voidlinux]]> https://video.ploud.fr/w/tsreP3goy3LNmFXSUV3NbD https://video.ploud.fr/w/tsreP3goy3LNmFXSUV3NbD Tue, 30 Jul 2019 21:58:21 GMT Archlinux et Voidlinux sont des distributions linux rolling-release pour utilisateurs “intermédiaires” (non-allergiques à la ligne de commande). Leurs objectifs sont proches mais leurs choix techniques assez différents.

Objectifs de cette présentation : comparer quelques caractéristiques techniques de Arch et de Void, installer un système de base : xfce + lightdm + clavier bépo, gérer les paquets (logiciels + noyaux), gérer les services, créer ses propres paquets

https://nokomprendo.gitlab.io/posts/tuto_fonctionnel_18/2018-04-21-README.html

]]> tuto_fonctionnel Science & Technology nonadult tuto fonctionnel 18 (HS) : Archlinux vs Voidlinux Archlinux et Voidlinux sont des distributions linux rolling-release pour utilisateurs “intermédiaires” (non-allergiques à la ligne de commande). Leurs objectifs sont proches mais leurs choix techniques assez différents. Objectifs de cette prése... <![CDATA[tuto fonctionnel 15 : Développement/déploiement web (apache, php, postgresql) avec nixops]]> https://video.ploud.fr/w/tyFBMZ5gBsCTn9oJ8vPQfZ https://video.ploud.fr/w/tyFBMZ5gBsCTn9oJ8vPQfZ Tue, 30 Jul 2019 21:55:55 GMT Un site web “classique” nécessite souvent un serveur web + php et une base de données. Problèmes : mise en place non-triviale pour le développeur, mise en place à refaire pour déployer le site final, travail sur plusieurs sites web… Solutions : docker, nixops…

https://nokomprendo.gitlab.io/posts/tuto_fonctionnel_15/2018-03-10-README.html

]]> tuto_fonctionnel Science & Technology nonadult tuto fonctionnel 15 : Développement/déploiement web (apache, php, postgresql) avec nixops Un site web “classique” nécessite souvent un serveur web + php et une base de données. Problèmes : mise en place non-triviale pour le développeur, mise en place à refaire pour déployer le site final, travail sur plusieurs sites web… Solutions : do... <![CDATA[tuto fonctionnel 14 : liaison de fonction dynamique (ou pas)]]> https://video.ploud.fr/w/o2BKCQv229NzpK1dFq4a3K https://video.ploud.fr/w/o2BKCQv229NzpK1dFq4a3K Tue, 30 Jul 2019 21:54:29 GMT Comment appeler des fonctions sur des collections hétérogènes. Par exemple : type Forme + sous-types Carre et Rectangle, fonctions surface.

https://nokomprendo.gitlab.io/posts/tuto_fonctionnel_14/2018-03-04-README.html

]]> tuto_fonctionnel Science & Technology nonadult tuto fonctionnel 14 : liaison de fonction dynamique (ou pas) Comment appeler des fonctions sur des collections hétérogènes. Par exemple : type Forme + sous-types Carre et Rectangle, fonctions surface. https://nokomprendo.gitlab.io/posts/tuto_fonctionnel_14/2018-03-04-README.html <![CDATA[tuto fonctionnel 13 : curryfication et évaluation partielle (javascript/haskell)]]> https://video.ploud.fr/w/u58ViwtHq8oEzhqt36yabP https://video.ploud.fr/w/u58ViwtHq8oEzhqt36yabP Tue, 30 Jul 2019 21:53:49 GMT Comment écrire des fonctions curryfiée et faire de l'évaluation partielle en Javascript et en Haskell.

https://nokomprendo.gitlab.io/posts/tuto_fonctionnel_13/2018-02-25-README.html

]]> tuto_fonctionnel Science & Technology nonadult tuto fonctionnel 13 : curryfication et évaluation partielle (javascript/haskell) Comment écrire des fonctions curryfiée et faire de l'évaluation partielle en Javascript et en Haskell. https://nokomprendo.gitlab.io/posts/tuto_fonctionnel_13/2018-02-25-README.html <![CDATA[tuto fonctionnel 20 : Nix, programmation et loi de Murphy]]> https://video.ploud.fr/w/2CAbVQnqryGySBfqqu5KGm https://video.ploud.fr/w/2CAbVQnqryGySBfqqu5KGm Tue, 30 Jul 2019 21:53:14 GMT Quand on développe un logiciel on utilise très souvent des bibliothèques, ce qui peut apporter de nombreux problèmes : bibliothèque fournie par le système ou à compiler manuellement, version compatible avec le projet, options de compilation, déploiement du projet final et de ses bibliothèques...

D’après la loi de Murphy, des problèmes finissent toujours par arriver. Les outils et OS classiques essaient de les éviter, Nix essaie de les résoudre.

https://nokomprendo.gitlab.io/posts/tuto_fonctionnel_20/2018-04-28-README.html

]]> tuto_fonctionnel Science & Technology nonadult tuto fonctionnel 20 : Nix, programmation et loi de Murphy Quand on développe un logiciel on utilise très souvent des bibliothèques, ce qui peut apporter de nombreux problèmes : bibliothèque fournie par le système ou à compiler manuellement, version compatible avec le projet, options de compilation, déplo... <![CDATA[tuto fonctionnel 21 : Déployer un blog avec Hakyll, Gitlab-ci, Nix]]> https://video.ploud.fr/w/qi3iHw9G6o8rCq5gyr1oHy https://video.ploud.fr/w/qi3iHw9G6o8rCq5gyr1oHy Tue, 30 Jul 2019 21:50:11 GMT Comment générer un blog avec Hakyll et le publier avec des outils modernes de gestion de code source et d'intégration continue.

https://nokomprendo.gitlab.io/posts/tuto_fonctionnel_21/2018-06-10-README.html

]]> tuto_fonctionnel Science & Technology nonadult tuto fonctionnel 21 : Déployer un blog avec Hakyll, Gitlab-ci, Nix Comment générer un blog avec Hakyll et le publier avec des outils modernes de gestion de code source et d'intégration continue. https://nokomprendo.gitlab.io/posts/tuto_fonctionnel_21/2018-06-10-README.html <![CDATA[tuto fonctionnel 24 : Développement web frontend en Haskell, Elm et Purescript]]> https://video.ploud.fr/w/bijWAZSWvHkSCyY72L9URf https://video.ploud.fr/w/bijWAZSWvHkSCyY72L9URf Tue, 30 Jul 2019 21:49:11 GMT Actuellement, le développement web côté-client (frontend) est très souvent réalisé en JavaScript ou dans des langages dérivés comme TypeScript. Il existe cependant d’autres outils intéressants, basés sur des langages de programmation fonctionnelle, qui permettent notamment d’éviter de nombreuses erreurs lors de l’exécution sur le navigateur.

L’objectif de ce tutoriel est de rappeler quelques généralités sur le développement web frontend, et de présenter les outils Elm, Purescript, Miso et Reflex, à partir d’un exemple d’application (gallerie d’images fournie via une API web).

https://nokomprendo.gitlab.io/posts/tuto_fonctionnel_24/2018-08-17-README.html

]]> tuto_fonctionnel Science & Technology nonadult tuto fonctionnel 24 : Développement web frontend en Haskell, Elm et Purescript Actuellement, le développement web côté-client (frontend) est très souvent réalisé en JavaScript ou dans des langages dérivés comme TypeScript. Il existe cependant d’autres outils intéressants, basés sur des langages de programmation fonctionnelle... <![CDATA[tuto fonctionnel 25 : Un serveur de webcam en 35 lignes de Haskell]]> https://video.ploud.fr/w/vmYBYyQLe6nbKG4aApEha9 https://video.ploud.fr/w/vmYBYyQLe6nbKG4aApEha9 Tue, 30 Jul 2019 21:48:06 GMT Pour mettre en place une webcam, on connecte une caméra à un ordinateur sur lequel on fait tourner un serveur retransmettant les images. Celles-ci sont alors accessibles via des requêtes au serveur.

Cet article présente comment implémenter un serveur de webcam en Haskell. Le serveur proposé transmet l'image courante en réponse aux requêtes HTTP. En parallèle (via un thread léger), il met également à jour l'image courante à partir du flux vidéo.

https://nokomprendo.gitlab.io/posts/tuto_fonctionnel_25/2018-08-25-en-README.html

]]> tuto_fonctionnel Science & Technology nonadult tuto fonctionnel 25 : Un serveur de webcam en 35 lignes de Haskell Pour mettre en place une webcam, on connecte une caméra à un ordinateur sur lequel on fait tourner un serveur retransmettant les images. Celles-ci sont alors accessibles via des requêtes au serveur. Cet article présente comment implémenter un ... <![CDATA[tuto fonctionnel 26 : Installer Node.js sur Debian : binaires, Nix ou Docker ?]]> https://video.ploud.fr/w/8Lyh5n47q5oBMJRKo8iXnz https://video.ploud.fr/w/8Lyh5n47q5oBMJRKo8iXnz Tue, 30 Jul 2019 21:46:18 GMT Node.js est un outils très classique pour développer des applications web côté-serveur en JavaScript. La version LTS actuelle de Node.js est la 8. Malheureusement, Debian (Stretch) propose seulement la version 4, sans le gestionnaire de paquets NPM, ce qui n’est pas satisfaisant pour développer en Node.js correctement. Ce tutoriel présente plusieurs méthodes pour installer une version plus récente de Node.js.

https://nokomprendo.gitlab.io/posts/tuto_fonctionnel_26/2018-09-08-README.html

]]> tuto_fonctionnel Science & Technology nonadult tuto fonctionnel 26 : Installer Node.js sur Debian : binaires, Nix ou Docker ? Node.js est un outils très classique pour développer des applications web côté-serveur en JavaScript. La version LTS actuelle de Node.js est la 8. Malheureusement, Debian (Stretch) propose seulement la version 4, sans le gestionnaire de paquets NP... <![CDATA[tuto fonctionnel 23 : Déployer une application Haskell/PostgreSQL sur Heroku]]> https://video.ploud.fr/w/n34SVnRoz5PyAe7qUagA6f https://video.ploud.fr/w/n34SVnRoz5PyAe7qUagA6f Tue, 30 Jul 2019 21:44:10 GMT Heroku est un service de cloud de type PaaS (Platform as a Service), comme Amazon Web Service, Google App Engine, Microsoft Azure, Red Hat OpenShift… Heroku propose une offre gratuite, limitée mais suffisante pour déployer des applications web simples.

Ce tutoriel montre comment écrire, configurer et déployer, sur Heroku, une application web en Haskell avec une base de données PostgreSQL.

https://nokomprendo.gitlab.io/posts/tuto_fonctionnel_23/2018-07-01-README.html

]]> tuto_fonctionnel Science & Technology nonadult tuto fonctionnel 23 : Déployer une application Haskell/PostgreSQL sur Heroku Heroku est un service de cloud de type PaaS (Platform as a Service), comme Amazon Web Service, Google App Engine, Microsoft Azure, Red Hat OpenShift… Heroku propose une offre gratuite, limitée mais suffisante pour déployer des applications web sim...