OCaml is an industrial strength programming language supporting functional, imperative and object-oriented styles.
Cost / License
- Free
- Open Source
Application typeApplication types
Platforms
- Mac
- Windows
- Linux
- BSD
PureScript is described as '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)' and is a programming language in the development category. There are more than 50 alternatives to PureScript for a variety of platforms, including Linux, Windows, Mac, BSD and Web-based apps. The best PureScript alternative is Python, which is both free and Open Source. Other great apps like PureScript are JavaScript, Java, PHP and C (programming language).
OCaml is an industrial strength programming language supporting functional, imperative and object-oriented styles.
Mojo is a specialized artificial intelligence (AI) programming language developed by Modular Inc. First released in May 2023, it is designed to become a superset of Python, with the performance of C.


Unison is a statically-typed functional language with type inference, an effect system, and advanced tooling. It is based around a big idea of content-addressed code, in which function are identified by a hash of their implementation rather than by name, and code is stored as...

Tcl (Tool Command Language) is a very powerful but easy to learn dynamic programming language, suitable for a very wide range of uses.

Elm aims to make web development more pleasant. Elm is a type-safe, functional reactive language that compiles to HTML, CSS, and JavaScript.
Wolfram Language is a symbolic language, deliberately designed with the breadth and unity needed to develop powerful programs quickly. By integrating high-level forms—like Image, GeoPolygon or Molecule—along with advanced superfunctions—such as ImageIdentify or...
Jython, successor of JPython, is an implementation of the Python programming language written in Java.


Rhombus is a general-purpose programming language that is easy to use and uniquely customizable.

Yon is an experimental, topos-oriented programming language: a compiled language whose semantics are drawn from category theory (elementary topoi, Heyting algebras, directed type theory) and whose runtime stores every value in a content-addressed heap built on the Leech lattice ?
