
OCaml Alternatives
OCaml is described as 'Industrial strength programming language supporting functional, imperative and object-oriented styles' and is a programming language in the development category. There are more than 25 alternatives to OCaml for a variety of platforms, including Linux, Mac, Windows, BSD and Web-based apps. The best OCaml alternative is Rust, which is both free and Open Source. Other great apps like OCaml are C (programming language), C++, Haskell and D (Programming Language).
Alternatives list

F* is an ML-like functional programming language aimed at program verification. F* can express precise specifications for programs, including functional correctness properties. Programs written in F* can be translated to OCaml or F# for execution.

J is a high-level, general-purpose programming language that is particularly suited to the mathematical, statistical, and logical analysis of data. It is a powerful tool for developing algorithms and exploring problems that are not already well understood.
Cost / License
- Free
- Open Source
Application type
Platforms
- Mac
- Windows
- Linux
- Online
- Android
- iPhone
- Web Browser
- Raspberry Pi

- 81 Odin alternatives
The Odin programming language is fast, concise, readable, pragmatic and open sourced. It is designed with the intent of replacing C with the following goals:
ReasonML is a new face to OCaml that--when coupled with BuckleScript--makes web development easy, robust, and type-safe. It has a very good Javascript FFI story, and is easy to adopt piece-meal into your existing projects.
A community fork of a language named after a plant fungus. All of the memory-safe features you love, now with 100% less bureaucracy.
Cost / License
- Free
- Open Source
Application type
Alerts
- Discontinued
Platforms
- Self-Hosted
PureScript was initially designed by Phil Freeman in 2013. He started to work on PureScript since he wasn't satisfied by other attempts to transpile Haskell to JavaScript (e.g. using Fay, Haste, or GHCJS).
Cost / License
- Free
- Open Source
Application type
Platforms
- Mac
- Windows
- Linux
- Online
- BSD
- FreeBSD
- NetBSD
- OpenBSD
Where jank differs from Clojure JVM is that its host is C++ on top of an LLVM-based JIT. This allows jank to offer the same benefits of REPL-based development while being able to seamlessly reach into the native world and compete seriously with JVM's performance.
Cost / License
- Free
- Open Source (MPL-2.0)
Platforms
- Mac
- Linux
Standard ML of New Jersey (abbreviated SML/NJ) is a compiler for the Standard ML '97 programming language with associated libraries, tools, and documentation.
Cost / License
- Free
- Open Source
Platforms
- Mac
- Windows
- Linux
Rux is a fast, compiled, strongly typed, multi-paradigm programming language.





























