
3
OCaml est un langage de programmation de puissance industrielle prenant en charge les styles fonctionnels, impératifs et orientés objet.
Site Internet:
http://www.ocaml.orgtraits
Les catégories
Alternatives à OCaml pour Linux

278
C (programming language)
C est un langage de programmation informatique à usage général.C est l'un des langages de programmation les plus utilisés de tous les temps.

266

71

61

53

51
D (Programming Language)
D est un langage avec une syntaxe de type C et un typage statique.Il combine pragmatiquement l'efficacité, le contrôle et la puissance de modélisation, avec la sécurité et la productivité du programmeur.

28

23

17
F# (programming language)
F # est un langage fonctionnel et orienté objet succinct, expressif et efficace pour .NET qui vous aide à écrire du code simple pour résoudre des problèmes complexes.

6

3
F*
F * est un langage de programmation fonctionnel de type ML destiné à la vérification de programme.F * peut exprimer des spécifications précises pour les programmes, y compris les propriétés d'exactitude fonctionnelle.Les programmes écrits en F * peuvent être traduits en OCaml ou F # pour exécution.

2

1

1