Ada 2012 is the next generation of the world’s premier programming language for engineering safe, secure and reliable software.
Cost / License
- Free
- Open Source
Application type
Platforms
- Windows
- Linux
- BSD

Apps similar to F# (programming language) include Python, which is free and open source. Other options are JavaScript, Java, Rust and C++. You're spoiled for choice with Programming Languages like F# (programming language): we list more than 50 alternatives for Windows, Linux, Mac, the web and self-hosting.
Ada 2012 is the next generation of the world’s premier programming language for engineering safe, secure and reliable software.


Squirrel is a high level imperative, object-oriented programming language, designed to be a light-weight scripting language that fits in the size, memory bandwidth, and real-time requirements of applications like video games.
The Bosque programming language is an experiment in regularized design for a machine assisted rapid and reliable software development lifecycle.

Fortran (previously FORTRAN, derived from Formula Translating System) is a general-purpose, imperative programming language that is especially suited to numeric computation and scientific computing.
Object Pascal is a multi-paradigm, object-oriented, component-based general purpose programming language.
Mussel is an interpreted programming language written in Rust. It was designed as a simple and flexible language with a focus on easy-to-read syntax and powerful expression evaluation. Mussel supports basic data types, variable bindings, functions, closures, control flow...
IronPython is an implementation of the Python programming language running under .NET and Silverlight. It supports an interactive console with fully dynamic compilation. It's well integrated with the rest of the .NET Framework and makes all .
Pike is a dynamic programming language with a syntax similar to Java and C. It is simple to learn, does not require long compilation passes and has powerful built-in data types allowing simple and really fast data manipulation.

Nelua is a systems programming language for performance sensitive applications, like real-time applications and game engines. Its syntax and semantics are similar to Lua, but its garbage collection is optional, it provides optional type notations, and it is free from an...

Beef is an open source performance-oriented compiled programming language which has been built hand-in-hand with its IDE environment.

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.
