Encore une fois, lorsque l'on parle de langage de haut-niveanx performants, on
oublie OCaml : www.caml.inria.fr
Et pourtant, ce langage a de très nombreux avantages, mais il reste confiné dans son image de langage de chercheur sans intérêt. Rappelons quand même que ses inventeurs étaient à la base des hackers C (juste comme ça, Xavier Leroy a réalisé une ancienne implémentation de la bibliothèque thread de Linux...).
Alors, pour ne citer que quelques uns des avantages de ce langage qui gagne à être connu :
- il est libre
- c'est un langage formelle (de la famille de ML), avec la puissance d'expressivité que cela engendre
- néanmoins, il implémente des notions de langages impératifs, en particulier pour tout ce qui est gestion système (entrée/sorties, etc)
- il possède une couche objet (d'où le 'O' de Ocaml ;)
- il peut être compilé en byte-code ET nativement
- son compilateur est très bon, et implémente toutes les caractéristiques des compilateurs modernes de langages de haut niveau (garbage collector efficace entre autre)
- il peut utiliser les bibliothèques C
- il possède un système de modules formidables : les modules peuvent être paramétrés par d'autres modules, je vous laisse imager la puissance de la chose...
-Xavier Leroy est un mec passionnant à écouter (hmm... bon un peu HS :)
Bref, c'est un langage auquel la communauté aurait intéret às'intéresser, même s'il demande un petit effort d'adaptation au mécanisme formelle (mais une fois que le coup est pris, on ne peut plus s'en passer. Et puis on ne va âs se comporter en immobilistes frileux de sortir des sentiers battus du C/C--...)
# On oublie toujours OCaml
Posté par Fanf . En réponse à la dépêche Havoc Pennington se pose des questions sur les langages du libre. Évalué à 9.
oublie OCaml : www.caml.inria.fr
Et pourtant, ce langage a de très nombreux avantages, mais il reste confiné dans son image de langage de chercheur sans intérêt. Rappelons quand même que ses inventeurs étaient à la base des hackers C (juste comme ça, Xavier Leroy a réalisé une ancienne implémentation de la bibliothèque thread de Linux...).
Alors, pour ne citer que quelques uns des avantages de ce langage qui gagne à être connu :
- il est libre
- c'est un langage formelle (de la famille de ML), avec la puissance d'expressivité que cela engendre
- néanmoins, il implémente des notions de langages impératifs, en particulier pour tout ce qui est gestion système (entrée/sorties, etc)
- il possède une couche objet (d'où le 'O' de Ocaml ;)
- il peut être compilé en byte-code ET nativement
- son compilateur est très bon, et implémente toutes les caractéristiques des compilateurs modernes de langages de haut niveau (garbage collector efficace entre autre)
- il peut utiliser les bibliothèques C
- il possède un système de modules formidables : les modules peuvent être paramétrés par d'autres modules, je vous laisse imager la puissance de la chose...
-Xavier Leroy est un mec passionnant à écouter (hmm... bon un peu HS :)
Bref, c'est un langage auquel la communauté aurait intéret às'intéresser, même s'il demande un petit effort d'adaptation au mécanisme formelle (mais une fois que le coup est pris, on ne peut plus s'en passer. Et puis on ne va âs se comporter en immobilistes frileux de sortir des sentiers battus du C/C--...)