language-elixir

name	language-elixir
title	Doctorat — Langage Elixir
description	Compétence niveau docteur en Elixir. Couvre BEAM VM, OTP, GenServer, Supervision trees, ETS, Mnesia, Phoenix, Nx, LiveView, concurrency, fault-tolerance, distributed Erlang, et la métaprogrammation Elixir.
category	research
lang	fr

Doctorat : Langage Elixir

Présentation

Elixir est un langage de programmation fonctionnel, concurrent et tolérant aux pannes, créé par José Valim (2011-2014). Il tourne sur la BEAM (Bogdan/Björn's Erlang Abstract Machine), la machine virtuelle d'Erlang, héritant de ses super-pouvoirs : concurrence massive (des millions de processus légers), tolérance aux pannes (supervision trees), distribution native, et mise à jour à chaud du code. Elixir ajoute une syntaxe moderne (inspirée de Ruby), la métaprogrammation via macros, les protocoles, les pipes, et un écosystème riche (Phoenix, Nx, LiveView).

Histoire et Contexte

• 2011 : José Valim (Plataformatec) commence Elixir
• 2012 : Première version publique
• 2014 : Elixir 1.0 — stabilité
• 2016-2018 : Elixir 1.4-1.6 — Phoenix 1.3, écosystème Nx
• 2021 : Elixir 1.12 — améliorations mix, ExUnit
• 2022-2023 : Elixir 1.14-1.16 — SET transform, Nx mature, Phoenix 1.7

Architecture du Langage

• BEAM VM : Machine virtuelle register-based pour concurrence et tolérance aux pannes
• Processus BEAM : Processus légers (~2KB, millions simultanément)
• Scheduler : 1 scheduler par cœur CPU — répartit les processus
• Préemption : Toutes les ~1000 reductions (appels de fonction)
• Memory per process : Chaque processus a son propre heap
• OTP : Framework, bibliothèques, patterns standard
• Hot code swapping : Mise à jour sans arrêter le système

Système de Types

• Types dynamiques : Héritage Erlang
• Types de base : Integers (big ints), Floats, Atoms, Strings (UTF-8 binaries), Lists, Tuples, Maps, Structs
• Structs : Maps nommés avec validation
• Protocols : Polymorphisme ad-hoc (defprotocol, defimpl)
• Type specs : spec, type, opaque — documentation et analyse
• Dialyzer : Analyse statique (success typing)
• Guards : when is_integer(x)
• Union types : atom() | integer()

Compilation et Interprétation

• Compilation : elixirc compile en bytecode BEAM
• IEx : REPL interactif avec autocomplétion
• Mix : Build tool, test runner, dependency manager
• Bytecode BEAM : Fichiers .beam chargés par la BEAM
• Core Erlang : Elixir compile vers Core Erlang, puis BEAM bytecode
• Hot reload : r Module dans IEx
• NIF : C extensions (dangereux — peut crasher la VM)

Mémoire et Performances

• GC par processus : Chaque processus a son propre heap
• Copying GC : GC générationnel, copying collector
• Binary heap : Grands binaires (>64 bytes) partagés avec comptage
• ETS : Erlang Term Storage — table en mémoire partagée
• List (linked list) : O(n) accès, O(1) ajout en tête
• Maps : Arbres Hamt pour mises à jour immuables
• Hibernation : erlang.hibernate pour réduire mémoire

Écosystème et Outils

• Mix : Build tool, test runner, hex
• Hex : hex.pm — gestionnaire de paquets
• Phoenix : Framework web (MVC, channels, LiveView)
• Ecto : ORM/DSL pour bases de données
• Nx : Numerical Elixir — tenseurs, différentiation
• LiveView : Applications web temps réel sans JS
• ExUnit : Framework de test intégré
• ExDoc : Générateur de documentation
• Credo : Linter et guide de style
• Observer : Interface graphique BEAM

Concurrence et Parallélisme

• Processus BEAM : Acteurs isolés communiquant par messages
• Send/Receive : send(pid, msg), receive do ... end
• GenServer : Client-serveur générique (call/cast/info)
• Supervisor : Arbres de supervision — redémarrage automatique
• Tasks : Tâches asynchrones (Task.async, Task.await)
• Agents : Encapsulation d'état mutable
• ETS : Table de données partagée concurrente
• Mnesia : Base de données temps réel distribuée
• GenStage / Flow : Pipelines avec backpressure
• Distribution : Communication entre nœuds

Patterns Avancés

• OTP Design Principles : GenServer, Supervisor, Application
• GenServer callbacks : init, handle_call, handle_cast, handle_info
• GenStateMachine : Machine à états OTP
• Horde : Registry et Supervisor distribués
• Phoenix Channels : WebSocket pub/sub
• Phoenix LiveView : Rendu serveur temps réel
• ETS pattern matching : ets.match, ets.match_object
• Mnesia transactions : Transactions ACID distribuées
• Macros : quote, unquote — métaprogrammation

Optimisation

• Profiling : fprof, eprof, recon_trace
• Observer : Visualisation des processus, mémoire, ETS
• ETS optimization : Choix du type de table
• IO lists : Construction de chaînes sans copie
• Binary matching : Pattern matching sur binaires
• Streams : Évaluation paresseuse sans intermédiaires
• Process hibernation : Réduction mémoire

Interopérabilité

• Erlang interop : Appel direct de modules Erlang
• NIF : C extensions (prudence)
• Ports : Processus externes connectés à la BEAM
• CNode : Nœud C distant
• Rustler : NIFs en Rust (plus sûr que C)
• Python : Pythonx — appel de code Python

Applications Industrielles

• Discord : 5+ millions de connexions simultanées
• Pinterest : Feed en temps réel
• WhatsApp (v1) : 1 milliard d'utilisateurs
• Financial Times : Plateforme de contenu
• Heroku : Routing layer
• Toyota Connected : Systèmes connectés
• Supabase : Realtime

Sécurité

• Process isolation : Pas d'accès à la mémoire d'autres processus
• Message passing : Messages immuables
• Fault tolerance : Let it crash — superviseurs redémarrent
• No shared state : Pas de variables globales mutables
• Hot code swap : Mise à jour sécurisée
• SSL/TLS : Module :ssl natif

Veille Technologique

• Elixir Lang Blog : elixir-lang.org/blog
• GitHub : elixir-lang/elixir
• Hex : hex.pm
• Elixir Forum : elixirforum.com
• Elixir Radar : Newsletter
• Conférences : ElixirConf, CodeBEAM