Inferred
Types are automatically deduced without requiring explicit type annotations.
Plangs
| Name | Description |
|---|---|
| Agda | Dependently typed functional programming language and proof assistant used for writing and verifying proofs. |
| Ballerina | Open source general-purpose programming language designed for cloud-native and concurrent applications. |
| Beef | High-performance language for real-time applications with manual memory management. |
| Boo | Statically typed language with Python-like syntax and support for .NET framework features. |
| Bun | A fast JavaScript runtime with a built-in bundler and npm-compatible package manager. |
| C# | Versatile high-level language supporting multiple programming paradigms. |
| C++ | General-purpose language designed by Bjarne Stroustrup, supporting multiple programming paradigms. |
| Ciao | Modern Prolog implementation focused on portability, extensibility, and modularity. |
| CodeMonkey | Educational coding platform for beginners, teaching programming concepts through game-based learning. |
| Crystal | Compiled, statically-typed language with Ruby-like syntax and type inference. |
| Curry | Declarative language that integrates features of functional and logic programming paradigms |
| D | Modern system programming language influenced by C++ with multiple paradigms and expressive features. |
| Dart | Language for building web, mobile, and server apps, with tools to compile to JavaScript and WebAssembly. |
| F# | Functional-first language on the .NET platform, known for its strong typing and multi-paradigm capabilities. |
| Flix | Functional, imperative, and logic language focusing on type and effect systems. |
| Futhark | Functional, parallel programming language optimized for high-performance GPU and CPU execution. |
| Gleam | A general-purpose, functional language that compiles to Erlang and JavaScript, featuring static, inferred typing for concurrent programming. |
| Go | Statically typed, compiled language with memory safety and CSP-style concurrency, designed at Google. |
| Hack | PHP-influenced language with static and gradual typing, used on the HHVM platform. |
| Haskell | Statically-typed, purely functional language known for type inference and lazy evaluation. |
| Idris | Purely-functional language for Type-Driven Development with dependent types and optional lazy evaluation. |
| Imba | Full-stack web language compiling to JavaScript. |
| Julia | A dynamic language designed for numerical and scientific computing with strong support for parallel computing and multiple dispatch. |
| Kotlin | Concise, statically typed language interoperative with Java, targeting JVM and other platforms. |
| Lobster | Statically typed, game-oriented language with Python-like syntax and compile-time memory management. |
| MLton | SML97 compatibile language with advanced optimizations. |
| Mojo | Modular language blending Python's syntax with C-like performance. |
| Nim | Statically typed, compiled language focusing on performance and elegant syntax, compilable to C, C++, and JavaScript. |
| OCaml | General-purpose, multi-paradigm language extending Caml with OO features. |
| Odin | A high-performance language, offers an alternative to C for systems programming with a focus on simplicity and data-oriented development. |
| PureScript | Strongly-typed, purely-functional language similar to Haskell, compiling to JavaScript. |
| Python | Dynamic, high-level programming language known for its easy-to-read syntax. |
| Rascal | Domain-specific language for metaprogramming and implementing domain-specific languages. |
| Rust | General-purpose programming language emphasizing performance, type safety, and concurrency. |
| Scala | Statically typed language supporting both object-oriented and functional programming, known for addressing Java's criticisms and supporting concurrent, distributed systems. |
| Scopes | Modern, multi-stage programming language with a focus on systems programming and expressiveness. |
| Standard ML | Functional programming language known for its type inference and usage in compiler writing. |
| Swift | Developed by Apple for its platforms, with a focus on safety and performance. |
| V | Statically typed, compiled language emphasizing simplicity and performance. |
| Vala | Object-oriented language that generates C code using the GObject system. |
| Wing | Designed for managing cloud infrastructure and serverless applications. |
| XQuery | W3C language for querying and transforming XML data using XPath. |
| Zig | System programming language designed as an improvement over C/C++ with native error handling and performance enhancements. |