Web版OCaml的替代品

• Web
  所有平台 Windows Mac Linux Android iPhone Android Wear iPad Android Tablet Web Playstation BSD Haiku AROS MorphOS AmigaOS Motti.NET (Programming Language)
• 任何牌照
  任何牌照 免费许可证 开源许可证 商业牌照

3

F*

F *是一种类似于ML的功能编程语言，旨在进行程序验证。F *可以表达程序的精确规范，包括功能正确性属性。可以将用F *编写的程序转换为OCaml或F＃来执行。

• 免费应用
• Web
• Windows
• Mac
• Linux

1

Motti.NET (Programming Language)

Motti.NET（mottidotnet）是一种具有可视和编程功能的高级编程语言。可靠的Motti.NET已被证明非常稳定。

• 免费的个人应用
• Windows
• Web
• Motti.NET (Programming Language)