Concurrent
An overall computation is factored into subcomputations that may be executed concurrently. Several computations are executed during overlapping time periods, concurrently, instead of sequentially.
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. |
| Ballerina | Open source general-purpose programming language designed for cloud-native and concurrent applications. |
| C# | Versatile high-level language supporting multiple programming paradigms. |
| ChucK | Concurrent, real-time audio programming language for synthesis and performance. |
| Ciao | Modern Prolog implementation focused on portability, extensibility, and modularity. |
| Cilk | Family of languages designed for parallel computing extending C and C++. |
| Clojure | Dynamic language known for its expressiveness and concurrent processing capabilities. |
| 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. |
| Deno | A secure JavaScript and TypeScript runtime focusing on simplicity. |
| Eiffel | Object-oriented programming language emphasizing design by contract. |
| Elixir | Dynamic, functional language for scalable applications built on Erlang VM. |
| Erlang | Concurrent functional language for scalable real-time systems. |
| erlog | A Prolog interpreter implemented in Erlang. |
| 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. |
| Fleng | A compiler for concurrent logic programming languages FGHC, Strand, KL1, and PCN. |
| 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. |
| Haskell | Statically-typed, purely functional language known for type inference and lazy evaluation. |
| HotSpot VM | Java virtual machine known for its just-in-time compilation and adaptive optimization techniques. |
| Inko | Language for efficient, safe concurrent software, with features like static typing and type-safe concurrency. |
| Io | A pure object-oriented language with a prototype-based model, inspired by Smalltalk, Self, and others, emphasizing simplicity, flexibility, and concurrency. |
| Java | High-level language known for its portability and extensive ecosystem. |
| JRuby | Java-based implementation of Ruby, integrating closely with Java for two-way access. |
| Kotlin | Concise, statically typed language interoperative with Java, targeting JVM and other platforms. |
| LabVIEW | Graphical environment for data acquisition and industrial automation. |
| Nim | Statically typed, compiled language focusing on performance and elegant syntax, compilable to C, C++, and JavaScript. |
| Odin | A high-performance language, offers an alternative to C for systems programming with a focus on simplicity and data-oriented development. |
| Pony | Object-oriented, actor-model, secure programming language. |
| Pure Data | Visual programming language for interactive computer music and multimedia. |
| 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. |
| Strand | A parallel Prolog dialect. |
| SuperCollider | Real-time audio synthesis and music composition. |
| SWI-Prolog | Implementation of Prolog focused on versatility and rich libraries. |
| Swift | Developed by Apple for its platforms, with a focus on safety and performance. |
| Trealla Prolog | An efficient Prolog interpreter with concurrent capabilities. |
| V | Statically typed, compiled language emphasizing simplicity and performance. |
| Zig | System programming language designed as an improvement over C/C++ with native error handling and performance enhancements. |