FUMFz
>>SirSeigneur
Rust est un language plus ou moins fonctionnel et pourtant très bas niveau.
Il y a aussi ATS : http://www.ats-lang.org/
Nim : https://nim-lang.org/
Et des language de description matériel pour les shaders, FPGA et ASIC par exemple : http://www.clash-lang.org/
Après oui ça reste assez expérimental et académique comme discipline. Mais au moins c'est des gens qui essayent de voir les problème dans leurs ensemble sous une formalisation mathématique plutôt que d'avancer à taton avec "design patterns" et autres concepts plus ou moins efficace mais pas directement adapté au problème.
La plus grande réussite selon moi c'est les systèmes de type Hindley–Milner.
bien de m'insulté, bon je m'en fout hein, un programme ce n'est pas que de la rapidité d'execution faut aussi etre capable de le lire, même du BASIC est plus "haut niveaux" que la majorité des langage fonctionnelle
Rust est un language plus ou moins fonctionnel et pourtant très bas niveau.
Il y a aussi ATS : http://www.ats-lang.org/
Nim : https://nim-lang.org/
Et des language de description matériel pour les shaders, FPGA et ASIC par exemple : http://www.clash-lang.org/
Après oui ça reste assez expérimental et académique comme discipline. Mais au moins c'est des gens qui essayent de voir les problème dans leurs ensemble sous une formalisation mathématique plutôt que d'avancer à taton avec "design patterns" et autres concepts plus ou moins efficace mais pas directement adapté au problème.
La plus grande réussite selon moi c'est les systèmes de type Hindley–Milner.
