Static
Checks type correctness at compile-time, reducing runtime errors by ensuring variables are properly typed before execution.
Details
Plangs
| Name | Description |
|---|---|
| .NET | Cross-platform, open-source framework known for supporting multiple programming paradigms. |
| Ada | High-level, structured, and object-oriented language with strong typing, used for reliability in mission-critical systems. |
| Agda | Dependently typed functional programming language and proof assistant used for writing and verifying proofs. |
| Amber | Language compiling into Bash with modern syntax and safety features. |
| ASP.NET | Server-side web-application framework by Microsoft for building dynamic websites and services using the .NET runtime. |
| AssemblyScript | AssemblyScript compiles a TypeScript variant to WebAssembly. |
| Astro | Modern framework for building fast, content-focused websites using static site generation. |
| Ballerina | Open source general-purpose programming language designed for cloud-native and concurrent applications. |
| BASIC | Family of high-level programming languages created in 1964 to make programming more accessible. |
| 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. |
| C | General-purpose language foundational in systems and application programming. |
| C# | Versatile high-level language supporting multiple programming paradigms. |
| C++ | General-purpose language designed by Bjarne Stroustrup, supporting multiple programming paradigms. |
| c3 | Modern enhancement of C with module systems, semantic macros, and improved error handling, maintaining C compatibility. |
| Ciao | Modern Prolog implementation focused on portability, extensibility, and modularity. |
| Cilk | Family of languages designed for parallel computing extending C and C++. |
| Clang | Compiler front end for C, C++, Objective-C, and Objective-C++, integrating with LLVM. |
| Clean | Functional programming language known for uniqueness typing and lazy evaluation. |
| Coq | Interactive theorem prover focused on formal verification and proof checking. |
| Crystal | Compiled, statically-typed language with Ruby-like syntax and type inference. |
| Curry | Declarative language that integrates features of functional and logic programming paradigms |
| Cython | Is an optimising static compiler for Python and Cython extensions improving performance and interoperability with C. |
| 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. |
| Delphi | General-purpose programming language with an IDE for rapid application development, using the Delphi dialect of Object Pascal. |
| Deno | A secure JavaScript and TypeScript runtime focusing on simplicity. |
| Differential Datalog | A language for efficient incremental computation and dataflow processing. |
| Eclair | A logic programming language for specifying complex rules over large datasets efficiently. |
| Eiffel | Object-oriented programming language emphasizing design by contract. |
| Euphoria | User-friendly language focusing on simplicity and readability, popular for various applications on multiple OS platforms. |
| Extempore | High-performance language for real-time audiovisual computing and live coding. |
| F# | Functional-first language on the .NET platform, known for its strong typing and multi-paradigm capabilities. |
| Fantom | General-purpose object-oriented language, designed for cross-platform use and supporting static and dynamic typing. |
| Flix | Functional, imperative, and logic language focusing on type and effect systems. |
| Flutter | Toolkit for creating natively compiled cross-platform apps from a single codebase. |
| Fortran | Language optimized for high-performance numerical computation and scientific computing. |
| Free Pascal | Pascal compiler supporting multiple architectures and dialects. |
| FreeBASIC | BASIC compiler inspired by QuickBASIC, supporting object-oriented programming. |
| 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. |
| GNAT | Free Ada compiler in the GCC suite, supporting all Ada versions. |
| Go | Statically typed, compiled language with memory safety and CSP-style concurrency, designed at Google. |
| GraalVM | High-performance runtime for multiple languages including Java, Python, and WebAssembly, with polyglot capabilities. |
| Groovy | Flexible and dynamic language for the Java platform with strong integration capabilities. |
| 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. |
| Haxe | High-level cross-platform language and compiler for multiple platforms. |
| HotSpot VM | Java virtual machine known for its just-in-time compilation and adaptive optimization techniques. |
| Idris | Purely-functional language for Type-Driven Development with dependent types and optional lazy evaluation. |
| Imba | Full-stack web language compiling to JavaScript. |
| Inko | Language for efficient, safe concurrent software, with features like static typing and type-safe concurrency. |
| Intel Fortran | High-performance computing compiler suite from Intel, supporting multiple platforms. |
| Isabelle | Automated theorem prover for formalizing mathematical proofs in higher-order logic. |
| Java | High-level language known for its portability and extensive ecosystem. |
| 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. |
| Mercury | A logic-based programming language with functional features. |
| MiniZinc | Language for constraint modelling and solving complex combinatorial problems. |
| MLton | SML97 compatibile language with advanced optimizations. |
| Mojo | Modular language blending Python's syntax with C-like performance. |
| Mono | .NET compatible software framework. |
| Nickel | Lightweight configuration language designed for generating modular and reusable configuration files. |
| Nim | Statically typed, compiled language focusing on performance and elegant syntax, compilable to C, C++, and JavaScript. |
| Objective-C | Object-oriented language that extends C with Smalltalk-style message passing. |
| 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. |
| Pascal | An imperative and procedural language designed by Niklaus Wirth, known for encouraging structured programming and data structuring. |
| Pony | Object-oriented, actor-model, secure programming language. |
| PureScript | Strongly-typed, purely-functional language similar to Haskell, compiling to JavaScript. |
| Racket | Multi-paradigm language derived from Lisp and Scheme, known for powerful macros and libraries. |
| Rascal | Domain-specific language for metaprogramming and implementing domain-specific languages. |
| Reason | Multi-paradigm language focusing on functional programming, compiling to OCaml and JavaScript. |
| 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. |
| Shen | Multi-paradigm language blending functional and logic programming for symbolic computation. |
| Slog | A programming language for parallel logic programming with first-class facts handling. |
| Solidity | Statically typed language for smart contracts on the EVM. |
| Soufflé | Parallel logic programming language used for static analysis and reverse engineering, influenced by Datalog. |
| SQL | Domain-specific language for managing data in relational databases. |
| Standard ML | Functional programming language known for its type inference and usage in compiler writing. |
| Svelte | Front-end framework that compiles HTML templates to optimized JavaScript. |
| Swift | Developed by Apple for its platforms, with a focus on safety and performance. |
| TypeScript | Strongly typed superset of JavaScript that compiles to plain JavaScript. |
| Unison | Statically-typed, functional language treating code as data for efficient distributed programming. |
| V | Statically typed, compiled language emphasizing simplicity and performance. |
| Vala | Object-oriented language that generates C code using the GObject system. |
| Visual Basic | Multi-paradigm language developed by Microsoft for Windows applications. |
| Wasp | Simplifies full-stack web development with a declarative approach. |
| Wing | Designed for managing cloud infrastructure and serverless applications. |
| Xojo | Cross-platform development tool and proprietary object-oriented programming language for building native 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. |