💻 Langages de Programmation — Veille

Langage système sans GC, sans exceptions cachées, interopérable C. Alternative moderne à C pour les systèmes embarqués, les outils et le WebAssembly. A migré de GitHub vers Codeberg (nov. 2025).

Langage système sans GC, sans segfaults, sans data races : le borrow checker garantit la sûreté mémoire à la compilation. Adopté dans le noyau Linux (6.1+), Windows, Android. Performances comparables au C/C++. Cargo : gestionnaire de paquets intégré. Écosystème crates.io en pleine explosion.

Superset de Python créé par Chris Lattner (créateur de LLVM, Swift) chez Modular. Cible l'IA et le calcul haute performance : SIMD natif, ownership optionnel, compatible GPU. Peut être 68 000× plus rapide que Python pur sur des kernels de calcul. Interopérable avec l'écosystème Python/NumPy/PyTorch.

Langage système moderne par gingerBill, conçu comme un C simple et sûr — sans preprocesseur, sans macros cachées, sans exceptions implicites. Idéal pour les jeux vidéo, outils et moteurs (utilisé avec Haiku, Raylib). Compilation rapide, types sommes, intrinsèques SIMD. Alternative pragmatique à Zig et C++.

Créé par Google (Rob Pike, Ken Thompson, Robert Griesemer). Goroutines + channels pour la concurrence, GC léger, compilation ultra-rapide, déploiement en binaire unique. Langage dominant des microservices et DevOps : Docker, Kubernetes, Terraform, Prometheus, Grafana sont écrits en Go. Syntaxe minimaliste, stdlib complète.

Langage système de haut niveau : GC optionnel, templates puissants, interop C/C++. Créé par Walter Bright + Andrei Alexandrescu. Blog officiel peu actif depuis fin 2023 ; activité principale sur le forum et GitHub.

Langage compilé hybride (syntaxe Python-like + performances C). Compile vers C, C++ ou JavaScript. GC configurable ou désactivable (opt-in). Macros hygiéniques très puissantes, métaprogrammation à la compilation. Utilisé pour des outils CLI, des serveurs, des projets embarqués. Concurrent de Zig et D, moins connu mais très expressif.

Langage fonctionnel concurrent sur BEAM/Erlang OTP. José Valim publie une série sur les internals du système de types (Lazy BDDs). Idéal pour les systèmes distribués tolérants aux pannes, Phoenix/LiveView pour le web.

Langage fonctionnel typé statiquement sur BEAM/Erlang et JavaScript. Syntaxe moderne, inférence de types complète. Première conférence Gleam Gathering (Bristol, 21 fév. 2026). Migration Hex vers OAuth2.

Assistant de preuve formelle de l'INRIA. Renommé Rocq en 2024 (coq.inria.fr → rocq-prover.org). Types dépendants, preuves interactives, extraction de code Haskell/OCaml. Très utilisé en cryptographie formelle et vérification de compilateurs.

Langage multi-paradigme (fonctionnel, impératif, orienté objet) de l'INRIA. OCaml 5 introduit le multicore natif avec effets algébriques. Utilisé industriellement par Jane Street (trading HF), Meta (Hack, Flow, Pyre), Docker. ReasonML et Melange compilent vers JavaScript. opam : gestionnaire de paquets.

Langage fonctionnel pur et paresseux (lazy evaluation) — référence académique et industrielle. Système de types Hindley-Milner + type classes : le modèle dont s'inspirent Rust, Scala, Swift. Monades pour gérer les effets. Utilisé chez Standard Chartered, IOHK (Cardano). Haskell Weekly Newsletter très suivie.

Assistant de preuve ET langage de programmation fonctionnel développé par Microsoft Research. mathlib4 : bibliothèque mathématique formalisée (100 000+ théorèmes). Concurrent direct de Rocq (Coq). Lean 4 peut générer du code exécutable efficace. Forte montée en puissance depuis 2023 dans les communautés de preuves formelles et IA.

Dialecte minimaliste de Lisp (Guy Steele + Gerald Sussman, MIT, 1975). Pilier du SICP (« Structure and Interpretation of Computer Programs »). Paradigmes : continuations, tail-call optimization obligatoire, macros hygiéniques, programmation par continuation. Implémentations : MIT/GNU Scheme, Chicken Scheme (compile vers C), Guile (GNU), Racket (superset très actif avec typed racket). Très utilisé en enseignement de l'informatique fondamentale.

Programmation logique : on déclare des faits et des règles, le moteur dérive les solutions. Paradigme radicalement différent de l'impératif. Utilisé en NLP, systèmes experts, vérification formelle, bio-informatique, planification IA. Moteur d'inférence par backtracking avec cut. SWI-Prolog : implémentation libre très complète, modules, threads, interfaçage C/Java/Python. Très actif en 2025-2026.

Langage fonctionnel pur compilé, sans runtime, sans GC (ownership à la Rust mais implicite). Conçu par Richard Feldman (auteur du livre Elm in Action). Syntaxe épurée, performances proches du C. En alpha active avec financement communautaire.

Référence mondiale pour la statistique, la data science et la bioinformatique. Écosystème CRAN immense (20 000+ packages). R-bloggers agrège des centaines de blogs de la communauté. Intégration Python via reticulate, Quarto pour les rapports reproductibles.

Conçu pour le calcul scientifique et numérique haute performance : syntaxe Python-like + vitesse C via JIT (LLVM). Multiple dispatch comme paradigme central. Utilisé en physique, biologie, finance quantitative, machine learning. Compatible Python/R via PyCall/RCall. Blog officiel actif, très présent sur arXiv.

Alternative libre et compatible à MATLAB pour le calcul numérique. GNU Octave : même syntaxe matricielle que MATLAB, compatible avec la majorité des scripts existants. Idéal pour les ingénieurs et chercheurs sans licence MATLAB. Interface graphique incluse. Packages supplémentaires via Octave Forge.

Langage symbolique créé par Stephen Wolfram, moteur de Mathematica et Wolfram|Alpha. Tout est expression symbolique : code, données, équations. Calcul symbolique et numérique, visualisation 3D, machine learning intégré, accès aux bases de données Wolfram. Propriétaire (Mathematica) mais WolframScript + Wolfram Cloud gratuits. Très puissant en mathématiques, physique, finance.

Créé par Carl Sassenrath (Amiga OS). Langage homoiconique : le code EST de la donnée. Dialects intégrés pour créer des mini-langages (parse, draw, vid). Ultra-compact : exécutable ~1 Mo. Influença Clojure, Red, et les DSL modernes. Communauté active autour de Rebol 3 et Ren-C (fork moderne).

Successeur spirituel de Rebol : langage + OS + GUI dans un seul exécutable <2 Mo. Dialects intégrés (parse, draw, vid). Red/System : sous-langage système bas niveau intégré. Cible ambitieuse : écrire un OS complet en Red. Développé par Nenad Rakocevic (Fullstack founder). Alpha stable, production partielle.

Langage de référence pour les systèmes critiques (avionique, défense, spatial, médical). SPARK : sous-ensemble formel pour la vérification automatique (absence de runtime errors, mémoire sûre). NVIDIA adopte Ada/SPARK pour ses systèmes de véhicules autonomes (ISO 26262). Alire : gestionnaire de paquets Ada (v2.1.0).

Langage minimaliste de Niklaus Wirth (décédé le 1er janvier 2024). Oberon-07 : norme stable, syntaxe épurée, sûreté de types. Oberon+ : extension moderne sur GitHub (Rochus Keller). Communauté académique très petite. Le projet Oberon original inclut un OS complet en ~5 000 lignes.

Le langage des systèmes d'exploitation, du firmware et de l'embarqué. C23 modernise le standard : typeof, #embed, nullptr, attributs. Compilateurs : GCC 14, Clang 18, MSVC. Encore premier choix pour noyaux OS (Linux, BSD, Windows), microcontrôleurs, pilotes. Base de toute la chaîne logicielle moderne.

Langage multi-paradigme dominant en jeux vidéo (Unreal Engine), HPC, finance et systèmes embarqués critiques. C++23 : std::expected, std::print, ranges. C++26 en préparation (modules, reflection). Herb Sutter et le comité ISO très actifs. clang-tidy, Clang-Format outillage moderne. cppreference.com : référence incontournable.

Langage Apple historique (NeXT/macOS/iOS). Syntaxe à messages [object method:arg] inspirée de Smalltalk. Remplacé par Swift depuis 2014 mais encore présent dans d'immenses codebases iOS/macOS. Interopérable Swift ↔ Obj-C via bridging header. Clang est le compilateur de référence. Maintenance stable, pas d'évolution active.

Langage Apple (Chris Lattner), successeur d'Objective-C. Swift 6 : concurrence stricte (acteurs, Sendable, async/await), vérification à la compilation des data races. Open source, multiplateforme (Linux, Windows, WASM). Swift Package Manager. Utilisé pour iOS, macOS, tvOS, watchOS, et de plus en plus côté serveur (Vapor, Hummingbird).

Langage dominant en entreprise depuis 1995. Java 24 : records patterns, unnamed patterns, virtual threads (Project Loom stable). GraalVM native image : compilation AOT en binaire natif ultra-rapide. JDK maintenu par Oracle + OpenJDK + Amazon Corretto + Eclipse Temurin. Spring Boot, Quarkus, Micronaut pour le web. Adoptium pour les binaires libres.

Langage JVM multi-paradigme (fonctionnel + OOP). Scala 3 (Dotty) : nouveau système de types, given/using, match types, opaque types, union/intersection types. Compile aussi vers JavaScript (Scala.js) et binaire natif (Scala Native). Écosystème : Apache Spark, Akka/Pekko, Cats, ZIO, Tapir. Utilisé à Twitter/X, Netflix, LinkedIn.

Langage JetBrains, officiel Android depuis 2019. Kotlin 2.0 : nouveau compilateur K2 (2× plus rapide), stable. Kotlin Multiplatform (KMP) : partage du code entre Android, iOS, Web, Desktop. Coroutines natives pour la concurrence. null-safety intégré. IntelliJ IDEA inclut Kotlin par défaut. Interop Java totale.

Langage phare de Microsoft et .NET. C# 13 : params collections, ref struct interfaces, `field` keyword. .NET 9 : performances JIT record, Native AOT stabilisé (binaire natif sans runtime), Aspire pour le cloud-native. Utilisé pour ASP.NET Core, Blazor (WASM), MAUI (multiplateforme), Unity (jeux), Azure Functions. Roslyn : compilateur open source très extensible. Rider + VS2022 = excellent tooling.

Langage fonctionnel first-class sur .NET, créé par Don Syme (Microsoft Research Cambridge). Inférence de types totale, pattern matching, discriminated unions, computation expressions (monades lisibles). Interop .NET/C# totale. Très utilisé en finance quantitative (Jane Street a inspiré OCaml/F#), scripting .fsx, data science avec Ionide. F# 9 : nullable reference types améliorés, against expression.

Alimente ~77% des sites web (WordPress, Drupal, Magento). PHP 8.x : JIT compiler, attributs, named arguments, fibers (8.1), readonly properties, enums (8.1), intersection types, DNF types (8.2), class constants typed (8.3), property hooks et lazy objects (8.4). Laravel, Symfony, TYPO3 très actifs. PHP-FPM + Nginx ou Caddy.

Langage dynamique « conçu pour le bonheur du programmeur » (Matz). Ruby 3.x : YJIT (JIT Shopify, 2× plus rapide), Ractor pour la concurrence, pattern matching, rightward assignment. Ruby on Rails reste dominant pour les startups (GitHub, Shopify, Airbnb au départ). Shopify pousse YJIT agressivement en production.

Pionnier des regex et du scripting Unix (Larry Wall, 1987). CPAN : archive de 200 000+ modules. Toujours très utilisé en bioinformatique (BioPerl), sysadmin legacy, traitement de texte. Perl 7 discuté depuis 2020 (pas encore sorti). Raku (ex-Perl 6) : langage parallèle avec gradual typing. Perl 5.40 continue les améliorations régulières.

Langage universel du web : seul langage natif des navigateurs. Côté serveur via Node.js (V8) et Deno (V8 + Rust) et Bun (JavaScriptCore, ultra-rapide). ES2024 : Object.groupBy, Promise.withResolvers, RegExp v-flag. Frameworks front : React, Vue, Svelte, Solid. Frameworks back : Express, Fastify, Hono. Ecosystème npm : 2,5 millions de paquets.

Superset typé de JavaScript développé par Microsoft (Anders Hejlsberg, créateur de C# et Turbo Pascal). Typage statique structurel, inférence puissante, types conditionnels, mapped types, template literal types. TS 5.x : satisfies operator, const type parameters, isolated modules. Adoptée massivement : Angular, NestJS, Prisma, tRPC. Go-rewrite du compilateur annoncé pour 10× plus rapide (2025).

Syntaxe Ruby + performances C. Typage statique avec inférence complète : lisibilité Ruby, vitesse native. Concurrence via Fiber (async léger). Idéal pour les APIs web haute performance (Kemal, Lucky). Nouveau leadership annoncé en sept. 2025 ("Wind of change"). Talk à FOSDEM 2026.

Shell universel GNU, présent sur tous les Unix/Linux/macOS. Scripting d'automatisation, pipelines CI/CD, orchestration d'outils. Bash 5.2 : associative arrays améliorés, options d'expansion avancées. Compatible POSIX sh. Complété par zsh (macOS défaut) et fish (expérience interactive). ShellCheck : linter indispensable. Utilisé dans tous les Dockerfiles, GitHub Actions, cron.

Shell + langage de scripting Microsoft, open source depuis PowerShell Core (2016). Multiplateforme : Windows, Linux, macOS. Objets .NET natifs (pas des strings comme Bash). Remoting WinRM/SSH, DSC (Desired State Configuration), Azure PowerShell. v7.5 : amélioration des performances, JSON natif, `ForEach-Object -Parallel`. Indispensable en environnement Windows/Azure.

Langage de description matérielle créé par le DoD américain (1983). Fortement typé, inspiré d'Ada. Standard pour la synthèse FPGA et ASIC en Europe (aérospatial, défense). VHDL-2019 : interfaces, mode inout amélioré, nouveaux attributs. Outils : Vivado (Xilinx/AMD), Quartus (Intel/Altera), GHDL (open source), ModelSim. Souvent couplé à la vérification formelle.

Verilog (1984) puis SystemVerilog (2002) : HDL dominant en Amérique du Nord et dans l'industrie des semi-conducteurs (ARM, Intel, TSMC). SystemVerilog intègre OOP pour la vérification (UVM — Universal Verification Methodology). Iverilog, Verilator (simulation rapide), Yosys (synthèse open source). Cocotb : vérification Python pour VHDL/Verilog. Très actif avec la montée du RISC-V.

DSLs HDL de nouvelle génération embarqués dans Scala (Chisel, UC Berkeley) et Scala (SpinalHDL). Génèrent du Verilog/VHDL. Chisel est utilisé pour le processeur RISC-V Rocket Chip (Berkeley). SpinalHDL très actif en Europe. Permettent des abstractions haut niveau (interfaces paramétrées, générateurs) impossibles en Verilog classique.

Architecture dominante sur les PC, serveurs et stations. Assembleurs : NASM (Linux, Windows), GAS (GNU, AT&T syntax), FASM, MASM (Windows). Registres 64-bit (rax, rbx…), extensions SSE/AVX/AVX-512 (SIMD). Indispensable pour la reverse engineering, l'exploitation de vulnerabilités, l'optimisation de kernels cryptographiques. Intel SDM : documentation officielle 5 000 pages.

ISA dominant dans le mobile (100% smartphones), IoT, embarqué, et depuis 2020 les Mac Apple Silicon (M1/M2/M3/M4 = AArch64). Variantes : AArch64 (64-bit, ARM64), ARMv7-A (32-bit Android), Thumb/Thumb-2 (code compact 16/32-bit), Cortex-M (microcontrôleurs, bare metal). ARM Neon/SVE : SIMD. GCC/Clang + binutils arm-none-eabi pour l'embarqué.

ISA ouverte et libre développée à UC Berkeley (Krste Asanović). Architecture modulaire : RV32I (base 32-bit), RV64I (64-bit), extensions M (mul/div), A (atomics), C (compressed), F/D (flottant). En plein essor : SiFive, StarFive, Espressif (ESP32-P4), RISC-V International. GNU toolchain (riscv64-unknown-elf-gcc), QEMU support complet. Alternative crédible à ARM dans l'embarqué et l'edge.

Premier langage de haut niveau (IBM, 1957). Toujours dominant en simulation scientifique : météorologie (ECMWF, Météo-France), physique nucléaire, mécanique des fluides (CFD), astrophysique. Fortran 2023 : do concurrent, simple, parameterized derived types. Compilateurs : gfortran (GCC), Intel ifort/ifx, NAGfortran, LFortran (LLVM moderne). Bibliothèques LAPACK/BLAS encore incomparables.

Langage à pile ultra-minimal (Chuck Moore, 1970). Interprété ET compilé, extensible jusqu'au métal. Utilisé dans l'Open Firmware (BIOS Sun/Apple), les smartcards, FPGAs, spatiale (DSP de sonde Cassini). Implementations : gForth (GNU), SwiftForth, Mecrisp-Stellaris (Cortex-M bare metal). Paradigme : les mots définissent d'autres mots — le langage se construit lui-même.