Unison Programming Language is described as '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' and is a programming language in the development category. There are more than 50 alternatives to Unison Programming Language for a variety of platforms, including Linux, Mac, Windows, BSD and Web-based apps. The best Unison Programming Language alternative is Python, which is both free and Open Source. Other great apps like Unison Programming Language are Java, C (programming language), Rust and PHP.
Dart (originally called Dash) is a Web programming language developed by Google. It was unveiled at the GOTO conference in Aarhus, 2011 October 10-12. The goal of Dart is "ultimately to replace JavaScript as the lingua franca of web development on the open web platform.
Kotlin is a cross-platform, statically typed, general-purpose programming language with type inference. Kotlin is designed to interoperate fully with Java, and the JVM version of its standard library depends on the Java Class Library, but type inference allows its syntax to be...
Haskell is an advanced purely-functional programming language. An open-source product of more than twenty years of cutting-edge research, it allows rapid development of robust, concise, correct software.
Open-source programming language for developing iOS, macOS, watchOS, tvOS, and visionOS apps, featuring safety, speed, type inference, generics, native-code compilation, protocol-oriented design, memory management, Playgrounds, package manager, and Objective-C interoperability.
D is a language with C-like syntax and static typing. It pragmatically combines efficiency, control, and modeling power, with safety and programmer productivity.
V is a statically typed compiled programming language designed for building maintainable software.
GDScript is a high-level, dynamically typed programming language used to create content. It uses a syntax similar to Python.
Scala is a modern multi-paradigm programming language based on the Java Virtual Machine (JVM) designed to express common programming patterns in a concise, elegant, and type-safe way.
Racket is a general-purpose programming language as well as the world’s first ecosystem for language-oriented programming.
Programming language with Ruby-like syntax that compiles to efficient native code.
Haxe is an open source toolkit based on a modern high level strictly typed programming language, a state-of-the-art light-speed cross-compiler, a complete cross-platform standard library, and ways to access to each platform's native capabilities.
Elixir is a dynamic, functional language designed for building scalable and maintainable applications.
United States
Czechia
EU
Lithuania
Argentina
Brazil