Alternativas a OCaml para Web

• Web
  Todas las plataformas Windows Mac Linux Android iPhone Android Wear iPad Android Tablet Web Playstation BSD Haiku AROS MorphOS AmigaOS Motti.NET (Programming Language)
• Cualquier licencia
  Cualquier licencia Licencia gratuita Licencia de código abierto Licencia comercial

3

F*

F * es un lenguaje de programación funcional similar a ML destinado a la verificación del programa.F * puede expresar especificaciones precisas para los programas, incluidas las propiedades de corrección funcional.Los programas escritos en F * se pueden traducir a OCaml o F # para su ejecución.

• Gratis
• Web
• Windows
• Mac
• Linux

1

Motti.NET (Programming Language)

Motti.NET (mottidotnet) es un lenguaje de programación avanzado con características visuales y de programación. Se ha demostrado que Motti.NET es muy estable.

• Gratuita personal
• Windows
• Web
• Motti.NET (Programming Language)