Alternatives à OCaml pour Web

• Web
  Toutes les plateformes Windows Mac Linux Android iPhone Android Wear iPad Android Tablet Web Playstation BSD Haiku AROS MorphOS AmigaOS Motti.NET (Programming Language)
• Toute licence
  Toute licence License gratuite Licence Open Source Licence commerciale

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.

• Gratuite
• Web
• Windows
• Mac
• Linux

1

Motti.NET (Programming Language)

Motti.NET (mottidotnet) est un langage de programmation avancé avec des fonctionnalités visuelles et de programmation. Motti.NET fiable s'est avéré très stable

• Personnelle gratuite
• Windows
• Web
• Motti.NET (Programming Language)