On est en 2024 et je n'ai toujours pas trouvé de language de programmation parfait... Rust est très proche, mais le temps de compilation tue la joie de coder. Ce que je veux n'est pourtant pas compliqué :
- produit un binaire statique sans dépendance (donc pas de runtime)
- typage fort et statique
- possède un LSP de qualité et compilo qui retourne des erreurs compréhensibles et permet de compiler rapidement (désolé Rust et Haskell)
- ne possède pas de null/nil (ou bien derrière une notation "unsafe") (désolé Go)
- propage les erreurs de façon explicite (pas de try/catch nécessaire sur des fonctions qui n'indiquent pas qu'elles peuvent échouer)
- variables immuables par défaut (c'est un plus plutôt qu'une nécessité)
- pas nécessaire d'allouer/libérer la mémoire manuellement (désolé Zig et Odin)
- supporte du fonctionnel