Alternatives to Dart

PureScript is an entirely functional, strongly-typed programming language that compiles JavaScript. It allows developers to create robust web applications, mobile apps, and web servers using functional programming techniques. PureScript has features like algebraic data types and pattern matching. It also offers row polymorphism. The language emphasizes pure functions and strong static typing to ensure code reliability and maintainability. Developers can compile PureScript into readable JavaScript to facilitate seamless integration with existing JavaScript codes. The ecosystem includes a large collection of libraries, excellent tools, and editor support, including instant rebuilds. A vibrant community offers a variety of learning resources including the PureScript book which provides practical projects for beginners.

Nim is a statically-typed compiled systems programming languages. It combines the best concepts of mature languages such as Ada, Python, and Modula. Nim generates native dependencies-free executables that are not dependent on a virtual computer. They are small and can be redistributed easily. Nim's memory management, which is deterministic and customizable, has destructors and moves semantics that are inspired by C++/Rust. It is well-suited to embedded, hard-realtime applications. Modern concepts such as zero-overhead iterators, compile-time evaluations of user-defined functions, and the preference for value-based datatypes on the stack make code extremely performant. It supports multiple backends: it can compile to C, C++, JavaScript so that Nim is available for all frontend and backend needs.

Fortran was designed from the ground up to support computationally intensive applications in engineering and science. You can write code that runs fast and close to the metal with mature and battle-tested libraries and compilers. Fortran is statically and heavily typed. This allows the compiler to catch programming errors early. This allows the compiler generate efficient binary code. Fortran is a small language that is easy to learn and use. It is easy to express most mathematical and arithmetic operations on large arrays by simply writing them out on a whiteboard. Fortran is a natively parallel programming languages that uses intuitive array-like syntax to exchange data between CPUs. It is possible to run almost identical code on one CPU, on a shared memory multicore system or on a distributed-memory HPC system or cloud-based system.

Cython, an optimizing static compiler, is available for both the Python programming languages and the extended Cython programming languages (based on Pyrex). It makes it as easy to write Python extensions using C. Cython combines the power of Python with C, allowing you to write Python code that calls back to C or C++ natively at any time. Static type declarations can be used to convert readable Python code into plain C performance. Combine source code level debugging to identify bugs in Python, Cython and C code. Large data sets can be interacted with efficiently, e.g. Multi-dimensional NumPy arrays. You can quickly build your applications in the mature, well-used CPython ecosystem. The Cython language, which is a superset Python language, supports calling C functions as well as declaring C types on variables or class attributes.

Scala combines object-oriented programming with functional programming in a single, concise language. Scala's static type system helps avoid bugs in complex applications. Its JavaScript and JVM runtimes allow you to build high-performance systems and have easy access to large libraries. Scala is intelligent about static types. You don't usually need to tell Scala what the types of your variables are. Instead, it will use its powerful type inference to figure them out. Scala uses case classes to represent structural data types. They implicitly equip the class using meaningful toString, equals, and hashCode methods. They also have the ability to be deconstructed using pattern matching. Scala functions are values. They can be described as anonymous functions using a concise syntax.

JSON (JavaScript Object Notation), is a lightweight format for data-interchange. It is easy to read and write. It is easy for machines and humans to generate and parse. It is based upon a subset the JavaScript Programming Language Standard ECMA-262 (3rd Edition - Dec 1999). JSON is a text format which is completely language-independent but still uses conventions familiar to programmers of the C family of languages. This includes C++, C# JavaScript, JavaScript, Perl and Python. These properties make JSON a great data-interchange language. JSON is built upon two structures: 1. A collection of name/value pair. This can be realized in many languages as an object, record or struct. 2. An ordered list of values. This can be expressed in most languages as an array, vector or list. These are universal data structures. They are supported by almost all modern programming languages in one way or another.

The Java™, Programming Language is a general purpose, concurrent, strongly typed and class-based object-oriented programming language. It is usually compiled according to the Java Virtual Machine Specification's bytecode instruction set. All source code in the Java programming language is first written in plain text files that end with the.java extension. The javac compiler compiles these source files into.class files. A.class file doesn't contain native code for your processor. Instead, it contains bytecodes (the machine language of the Java Virtual Machine1 [Java VM]). The java launcher tool will then run your application with an instance Java Virtual Machine.

Crystal's syntax is heavily inspired from Ruby's. It feels natural to read, easy to write, with the added benefit that it requires less learning curve for Ruby devs. Crystal is statically type-checked so errors in type will be caught before they reach runtime. Crystal also has type inference built-in, which means that most type annotations are unnecessary. Crystal makes all types non-nilable. The available variables are represented by a union of the type and null. The compiler will check for null references during compile time. Crystal's solution to metaprogramming is a powerful macro-system that covers everything from types inspection and basic templating to types inspection and running arbitrary programs.

Component Pascal is a general purpose language in the tradition Oberon, Modula-2 and Pascal. It has the following key features: block structure, modularity and static typing with strong type-checking (also across module boundaries), type extension using methods, dynamic loading modules and garbage collection. Component Pascal is an object-oriented language because it supports type extension. An object is a variable in an abstract data type that contains private data (its state), and the procedures that operate on it. Extensible records are used to declare abstract data types. Component Pascal covers the majority of terms in object-oriented languages using the established vocabulary for imperative languages to reduce the number of notions related concepts. Component Pascal is a component-oriented language. It has complete type safety and requires a dynamic object model.

Pascal is both a procedural programming language and an imperative programming language. Pascal is a simple programming language that can be used to create structured applications.

Clojure is a robust and practical programming language that is fast and easy to use. It also has a number of useful features that make it a powerful, simple, and coherent tool. Clojure is a dynamic programming language that can be used for general purposes. It combines the simplicity and interactivity of a scripting language and an efficient and robust infrastructure to support multithreaded programming. Clojure can be compiled, but it is completely dynamic. All features supported by Clojure are supported at runtime. Clojure has easy access to Java frameworks. It also supports type hints, type inference, and optional type hints. This allows Java calls to avoid reflection. Clojure is a dialect Lisp and shares the code-as data philosophy and powerful macro system. Clojure is a functional programming language that features a rich array of persistent, immutable data structures. Clojure provides a software transactional memory and reactive agent system for mutable states.

Ada is a state of the art programming language that developers around the world use to create critical software. This includes microkernels, small-footprint embedded systems, large-scale enterprise applications and everything in between. Why Ada? Ada is used because it allows you to write reliable, efficient code and save time. Ada is unique in that it allows you to detect and eliminate bugs as early in the software development cycle as possible, when they are most cost-effective to fix. Ada is able to help you create software that is reliable and safe without sacrificing performance, as demonstrated by many successful applications that have been fielded. Ada is a modern language that provides all the technical features you would expect from a modern language. Support for multicore and concurrent programming.

It is dynamic, while offering a programming model that supports efficient machine code generation. This includes fine-grained control of dynamic and static behaviors. This document describes the Open Dylan implementation, including a core set Dylan libraries and a library interchange mechanism. The core libraries include many language extensions, a threads interface and object finalization and printing and output formatting module. There are also modules that provide an interface to operating system features like the file system, time, date information, and foreign function interfaces.

Elixir is an expressive, dynamic language that allows you to create scalable and maintainable applications. Elixir uses the ErlangVM, which is known for its low latency, distributed, fault-tolerant, and fault-tolerant system. Elixir has been successfully used in web development and embedded software. It also supports data ingestion and multimedia processing across many industries. To get started with Elixir, check out our getting started guide or our learning page. All Elixir code runs within lightweight threads of execution, also known as processes. These processes are isolated and exchange information through messages. Because they are lightweight, it is possible to have hundreds of thousands or more processes running simultaneously on the same machine. Isolation allows for processes to be separated, reducing system-wide pauses and making use of all machine resources as efficiently possible (vertical scaling). The process can also communicate with other processes on the same network.

The new generation Pascal programming language combines classic Pascal's simplicity with many modern extensions and the wide-ranging capabilities of Microsoft.NET Framework. IDE that is free, simple, and powerful. Built-in form designer allows for rapid development Windows desktop applications. Get the latest version PascalABC.NET with a built-in form designer. There are many extensions to the Pascal language: the foreach operator and in-block variable definitions. Auto type deduction in variable declarations. Simplified syntax of units. A new operator for object construction. Anonymous classes, auto-classes. BigIntegers. Modern programming language features include n-dimensional dynamic arrays and generics, interfaces. Operator overloading, exceptions. garbage collection, and lambda statements. IDE that integrates debugger, IntelliSense, code templates, auto-formatting, and code templates.

Eclipse Ceylon is a language that allows you to write large programs in teams. Before you start the tour, take a 15-minute introduction to Eclipse Ceylon. It is best to download the IDE to get started and then write some code. You can then explore the modules in Ceylon Herd. You can also do it online. This is a community project. All of our work is open source. Eclipse Ceylon's powerful flow sensitive static type system is able to catch many bugs and allow you to express more easily: union and intersect types, tuples function types, mixin inheritance and reified generics. We spend more time reading code from others than we do writing our own. Eclipse Ceylon places a high value on readability. It supports treelike structures and elegant syntax sugar when appropriate.

C, a programming language that was created in 1972, is still very popular and widely used today. C is a general-purpose imperative and procedural language. The C language is used to create a variety of software and applications. This includes operating systems, code compilers, databases, and many more.

Roy is an experimental programming language which targets JavaScript. It attempts to combine JavaScript semantics and some features common to static functional languages.

Apache Groovy, a powerful, optionally-typed, dynamic language for Java, with static-typing capabilities and static compilation capabilities. It is designed to improve developer productivity through a simple, easy to understand syntax. It seamlessly integrates with any Java program and delivers powerful features to your application, including scripting capabilities and Domain-Specific Language authoring, runtime, compile-time metaprogramming and functional programming. It is easy to understand for Java developers thanks to its concise, readable, and expressive syntax. Closures, builders and runtime & compiler-time meta-programming. Functional programming, type inference and static compilation. Advanced integration & customization mechanisms, flexible syntax, and customizable syntax allow you to integrate readable business requirements into your applications. This is a great tool for writing concise, manageable tests and automating all your build and automation tasks.

Vyper is an object-oriented, pythonic language that targets Ethereum Virtual Machine (EVM). Security: Vyper should make it easy and natural to create secure smart contracts. Language and compiler simplicity: Both the language and the compiler implementation must be simple. Auditability: Vyper should be as human-readable as possible. It should also be as difficult as possible to write code that is misleading. Simplicity is more important for the reader than for the writer. This is especially true for readers who have little or no experience with Vyper and programming in general.

JavaScript is a web scripting language and programming language that allows developers to create dynamic elements on the internet. Client-side JavaScript is used by over 97% of all websites. JavaScript is the most popular scripting language on the internet.

TLA+ is an advanced language for modeling systems and programs, especially those that are concurrent and distributed. It is based on the notion that simple mathematics are the best way to describe something precisely. TLA+'s tools can help eliminate fundamental design errors that are difficult to detect and costly to fix in code.

D is a general-purpose programming languages with static typing, system-level access and C-like syntax. The D Programming Language allows you to write fast, read fast and run fast. D is possible thanks to the dedication and hard work of many volunteers and the coordination and outreach by the D Language Foundation, which is a 501(c),(3) non-profit organization. Support the Foundation to help develop the D language and grow our community. You can discuss D on the forums, join IRC channel, read the official Blog, and follow us on Twitter. You can browse the wiki to see the vision and high-level goals of the D Language Foundation. Refer to the Phobos documentation and the language specification. The DMD manual explains how to use the compiler. To deepen your understanding, you can read various articles.

C# (also pronounced "See Sharp"), is a modern, object oriented and type-safe programming language. C# allows developers to create many types of secure, robust applications that run in.NET. C# is rooted in the C family languages and will be familiar to JavaScript, C++, Java and JavaScript programmers. This tour will give you an overview of the main components of C# 8 or earlier. C# is an object-oriented and component-oriented programming language. C# supports these concepts directly with language constructs. This makes C# an easy language to create and use software components. C# has been evolving over time to support new software design practices and workloads. C# is an object-oriented programming language. You can define types and their behavior.

OCaml is a general purpose, industrial-strength language for programming. It focuses on safety and expressiveness. OCaml's powerful types system allows for more bugs to be caught at compile time. This makes it easier to maintain large, complex codebases. This makes it a great language for running critical code. The type system is unobtrusive thanks to sophisticated inference, which creates a pleasant developer experience. The bytecode compiler generates small executables that are portable and very fast. The second is a native compiler that produces machine code more efficiently and performs to the same level as modern compilers. OCaml supports the most popular editors. VS Code is recommended to beginners. Emacs and Vim are integrated with VS Code for advanced users. OCaml is a vibrant community with best-in-class tools.

Zig is a general purpose programming language and toolchain that allows you to maintain robust, optimal, and reusable software. Instead of worrying about your programming language knowledge, focus on debugging the application. A new approach to metaprogramming that relies on compile-time execution and lazy evaluation No hidden control flow. There are no hidden memory allocations. No preprocessor, no macros. Any function can be called at compile-time You can manipulate types as values with no runtime overhead. Comptime imitates the target architecture. Zig is a zero-dependency drop-in C/C++ compiler, which supports cross-compilation right out-of the box. Use zig build to ensure consistency across platforms. You can add a Zig compilation unit into C/C++ projects. Cross-language LTO is automatically enabled.

Erlang is a programming language that allows you to create highly scalable soft real time systems. It also requires high availability. It is used in e-commerce and instant messaging, banking, telephony, and telecoms. Erlang's runtime system supports concurrency distribution and fault tolerance. OTP is a set of Erlang libraries, design principles, and middleware that allows you to develop these systems. It also includes a distributed database, applications that can interface with other languages, and debugging, as well as release handling tools.

MoonScript is dynamic scripting that compiles to Lua. It combines the power of a fast scripting language with a rich feature set. MoonScript can be compiled in Lua to run later, or dynamically compiled using the moonloader. It is compatible with LuaJIT and other Lua implementations, as it compiles directly into Lua code. MoonScript can be run directly from the command-line using the command-line tools, just like any other scripting language. MoonScript uses a clean syntax that is free of the usual Lua script keyword noise. It also adds table understandings, implicit returns on functions, classes and inheritance, scope management statement import & export, as well as a convenient object-creation statement called with.

Swift code is interactive and fun to write. The syntax is concise and expressive, and Swift has modern features developers love. Swift code is safe and produces software that runs lightning fast. Swift is the result years of experience building Apple platforms and the most recent research on programming languages. Swift's APIs are easy to understand and maintain because the names of parameters are written in a simple syntax. You don't even have to use semi-colons. Modules eliminate headers and provide namespaces, while inferred types make code more readable and less likely to be misinterpreted. Strings support international languages and emoji best. They are Unicode-correct and use UTF-8-based encoding to maximize performance for a wide range of use cases. Concurrent code can be written with simple keywords that define asynchronous behavior. This makes your code easier to read and less likely to make errors.

The computer language was designed to program embedded and real-time applications. It is now available for development on Windows, DOS, as well as Unix variants that include macOS. Cross-compilers for Forth, which are commercially available, produce highly optimized code that runs on a variety microprocessors. They also prove themselves to be very adept in custom-hardware environments. Forth is a high level programming language. However, most versions include an assembly language. Software tools are often included in fourth-system providers to allow application code to make the most of system resources. Forth is interactive. It allows you to develop modular, well-tested code in a shorter time frame. It can also lead to very concise code. Programmers aren't used to languages that are concise, direct, and (apparently) simple. Forth is known for its speed of development, lean code and outstanding performance.

C++ is a simple language with clear expressions. ...), but once one knows the meaning of such characters it can be even more schematic and clear than other languages that rely more on English words. C++'s simplified input/output interface and incorporation of the standard library of templates make data manipulation and communication much easier than in C. It is a programming model in which each component is treated as an object. This replaces or complements the structured programming paradigm that focuses on procedures and parameters.

Emojicode is an open source, full-blown programming language that uses emojis. Emojicode is a multi-paradigm programming language that supports object orientation, generics and closures. Emojicode compiles native machine codes using many optimizations that speed up your code. Emojicode comes pre-installed with many default packages. You can also create your own Emojicode packages. Emojis are expressive. Let's use this to make programming more enjoyable and accessible. Emojicode is easy to learn, regardless of your background. Our documentation is well-known for being excellent and filled with examples and walk-through guides. You can help Emojicode grow! You are invited to contribute to Emojicode's development on GitHub. Make sure Emojicode is installed before you try to install it. For example, clang++ or even g++ are fine. Emojicode compiler cannot link binaries unless such a compiler exists.

Mercury is a fully-code-compatible implementation of BASIC that can be used with Microsoft Visual Basic.NET™. It also takes the language to the next level and opens up new possibilities. Mercury will allow you to use your existing VB.NET projects as well as your Visual Basic™, language experience to create code for any modern target platform. Mercury code can be mixed with any of the five Elements languages within the same project. Our development environments will integrate Mercury language. You can create your projects using our lightweight IDEs Water on Windows and Fire on Mac. They have project templates, code completion, integrated bugging for all platforms, and many more advanced development features. Visual Studio™, 2017, 2019 and 2022 will integrate Mercury. All languages can be used with Elements. You can mix Mercury, C# Swift, Java, Java, Oxygene, and Go within the same project.

Clarity brings smart contracts and Bitcoin to life. It is a decidable programming language. This means you can predict the program's behavior from the code. Clarity is not compiled, but interpreted. The source code is available on the blockchain. Clarity provides developers with a safe way for them to create complex smart contracts on the most secure blockchain in the world. Clarity uses a precise and unambiguous syntax which allows developers to predict how their contracts will be executed. The Clarity language allows users the ability to specify their own conditions for transactions. This ensures that a contract will never unexpectedly transfer tokens owned by a user. Clarity contracts are broadcasted on blockchain exactly as developers wrote them. This ensures that developers only execute the code they have analyzed and tested.

QML is a declarative language which allows user interfaces to describe themselves in terms of their visual components, and how they interact with each other. It is a highly readable language, which allows components to be interconnected dynamically. Additionally, components can be reused and customized within a user-interface. Designers and developers can create fluid animated user interfaces using QtQuick. They also have the option to connect these interfaces with any back-end C++ libraries. QML is both a programming language and a specification of user interfaces. It allows designers and developers to create visually appealing, performant, and fluidly animated applications. QML is a declarative, JSON-like syntax that is highly readable and supports imperative JavaScript expressions with dynamic property bindings.

Each expression in Haskell is assigned a type at compile time. All types that are combined by function application must match. The compiler will reject the program if they don't match up. Types are not only a guarantee, but also a language to express the construction of programs. Haskell functions are mathematical functions (i.e. "pure") in every instance. Even side-effecting IO operation are just a description of what to accomplish, and are produced by pure code. There are no instructions or statements, only expressions that can't mutate variables (local and global) or access state such as time or random numbers. You don't need to write every type in Haskell programs. Types can be inferred by unifying each type bidirectionally. You can however write out types or ask the compiler for them to be written for you.

It is simple, fast, safe, and easily compiled. For developing maintainable software. A simple language to build maintainable programs. The documentation is easy to read and you can learn the language in a weekend. In most cases there is only one way to do anything. This makes the code simple, readable, maintainable. This makes it easy to read and maintain. V is simple but powerful. It can be used in almost every field including webdev, gamedev and GUI. It can also be used for embedded science, tooling, and systems programming. V is very similar in appearance to Go. If you are familiar with Go, you already know 80% about V. Bounds checks, No undefined variables, no variable shadowing. Immutable variables by default. Immutable structs default. Option/result and mandatory errors checks. Sum types, generics and immutable function arguments by default. Mutable args must be marked on each call.

X# is an open source development language for.NET that is based on xBase. There are many flavors available, including Core, Visual Objects and Vulcan.NET. xBase++ is Harbour, Foxpro and more. Roslyn, an open-source architecture that powers the Microsoft Visual Basic and Microsoft C# compilers, has been used to build X#. A new options page has been added (tools/options/text edit/X#). This allows you to control the suggestions that the editor will make in the "general code completion list". After a colon or a dot, code completion will show namespaces and types as well as members. Code completion after AS or IS will display types and namespaces. Several preprocessor fixes have been made to make the preprocessor compatible with FoxPro++ and Xbase++. We also added #if and #stdout command. To improve compatibility with Visual Objects and FoxPro, we made several small changes to the RDD system.

QuickBasic and QBasic are both easy-to-learn programming languages (and therefore great for beginners). They are based on DOS operating systems, but can also be used on Windows. QBasic is a slimmed down version of QuickBasic. QBasic is less powerful than QuickBasic because it does not have a compiler. QBasic can't be used to create executables (.exe) files. The built-in QBasic interpreter cannot execute the source code (normal files with a.bas extension). QuickBasic also has a wider command set than QBasic. A lightweight programming language and a simple compiler are the best tools to learn how to program. Qbasic (short for QB) offers many advantages to beginners and professionals that other compilers don't. QB IDE was very popular back then, when DOS was still the most widely-used operating system. QBasic/QuickBASIC is required on current Windows systems. DOSBox.

A simple-to-use data analysis/visualization environment built on the powerful, fast, and efficient GAUSS Matrix Programming Language. From prototype to production: Integrate custom GAUSS analytics into enterprise or web-applications. You can create custom programs that extend the GAUSS platform into the areas of econometrics and finance. As fast as you can write with a pen and paper, you can code ideas and techniques directly from the GAUSS journals. The GAUSS matrix language allows you to bring cutting-edge math, statistics, and machine learning to life. GAUSS is the result of more than 30 years of innovation and refinement in efficient, native code. This, combined with our optimizing compilers and modern threading capabilities allows you to get answers faster than the competition.

WebAssembly, also known as Wasm, is a binary instruction format that can be used to build a virtual machine using a stack-based architecture. Wasm is a portable compilation target for programming language, which allows deployment on the internet for client and server applications. The Wasm stack machine was designed to be encoded using a small and efficient binary format. WebAssembly is designed to run natively on a wide variety of platforms, taking advantage of common hardware capabilities. WebAssembly describes a memory safe, sandboxed execution system that can even be implemented within existing JavaScript virtual machines. WebAssembly, embedded in the web will enforce the same-origin security policies as the browser. WebAssembly was designed to be printed in a textual format. This allows for debugging and testing, optimizing, optimizing, optimizing, learning, teaching, writing programs by hand, and experimenting. This textual format is used to view the Wasm modules' source on the internet.

Rust is lightning fast and memory efficient. It doesn't require a runtime or garbage collector and can run on embedded devices and integrate with other languages. Rust's rich type system, ownership model, and memory-safety guarantee thread-safety. This allows you to eliminate many types of bugs at compile time. Rust is a great tool with excellent documentation and a friendly compiler that displays useful error messages. Rust's strong ecosystem makes it easy to create a CLI tool. Rust makes it easy to maintain your app and distribute it with confidence. Rust can be used to turbocharge JavaScript one module at a while. You're ready to go!

HTML is shorthand for HyperText Markup Language. It is the markup language used by all websites on the internet. HTML is the code websites use to create and structure their websites and web pages.

Synergy DBL, a proven, ANSI standard business language, includes class libraries, a high performance database and.NET interoperability. It is the heart of the Synergy/DE product range. It is flexible and reliable and allows you to create portable, scalable enterprise applications. It supports both structured and object-oriented programming techniques. Synergy DBL is available in two forms: Synergy DBL traditional and Synergy DBL.NET. Traditional Synergy DBL supports many open technologies, including XML, HTTPS and ActiveX, that allow you interface with third-party apps and data. Multi-pass Synergy DBL compiler allows for strong prototyping and other strict errors-detection features. Synergy for.NET allows you to create Synergy libraries or applications that run natively within the.NET framework. You can then extend your applications using.NET Framework libraries, third-party controls, and interoperating with other languages.

Microsoft has developed Visual Basic, an object-oriented programming language. Visual Basic makes it easy and fast to create type-safe.NET applications. Visual Basic focuses on supplying more of the features of the Visual Basic Runtime (microsoft.visualbasic.dll) to .NET Core and is the first version of Visual Basic focused on .NET Core. Visual Basic Runtime relies heavily on WinForms. These will be added to a later version. .NET is an open-source platform that allows you to build many types of apps. Regardless of the type of app you are building,.NET makes your code and project files look and behave the same. Each app has the same runtime, API and language capabilities. Visual Basic programs are built from standard building blocks. A solution can be made up of one or more projects. Each project can contain one or more assemblies. Each assembly is compiled using one or more source files.

Julia was designed from the very beginning to be highly performant. Julia programs can be compiled to native code that is efficient for multiple platforms using LLVM. Multiple dispatch is a paradigm that Julia uses, allowing it to easily express many object-oriented or functional programming patterns. This talk explains why multiple dispatch works so well. Julia is dynamically written, feels like a scripting languages, and supports interactive use. Julia offers asynchronous I/O and metaprogramming. It also supports profiling, profiling, logging, debugging, profiling, and more. Julia allows you to build complete applications and microservices. Julia is an open-source project that has over 1,000 contributors. It is available under the MIT License.

Silq, a high-level quantum computing programming language with a robust static type system developed at ETH Zurich, is a new high level programming language. Silq was first published at PLDI '20.

Elm uses type-inference to detect corner cases, and give friendly hints. NoRedInk switched from Java to Elm four years ago. 300k+ lines later, the company still has not had to deal with a confusing runtime exception in production. The compiler will guide you safely through your changes, making sure that you are confident even when there are complex refactorings to be made in unfamiliar codebases. Including your own, six months later. All Elm programs follow the same pattern. This eliminates doubt and long discussions when building new projects. It also makes it easy to navigate through old or foreign codebases. Elm has its own virtual DOM implementation that is optimized for speed and simplicity. Elm makes it possible to modify all values, and benchmarks have shown that this allows us to generate JavaScript code with a high speed.

Prolog is a logic language that is associated with artificial intelligence (AI) and computational linguistics. Prolog's roots are in first-order formal logic. Unlike many other programming languages Prolog is primarily intended as a declarative language. The program logic is expressed as relations, represented by facts and rules. The computation is started by running a query on these relations. Prolog is one of the earliest logic programming languages. It remains the most popular today, with many free and commercial implementations. The language is used for natural language processing, theorem-proving, expert systems and term rewriting. Modern Prolog environments allow for the creation of graphical interfaces as well as administrative applications and networked applications.

Common Lisp, a modern multi-paradigm, high performance, compiled, ANSI standard, most prominent (alongside Scheme) descendant from the long-running Lisp family of programming languages, is the modern, multiparadigm, high performing, compiled, ANSI standardized, most prominent (alongside Scheme). Common Lisp is well-known for its flexibility, excellent support for object-oriented programming, and rapid prototyping capabilities. Common Lisp also features a powerful macro system that allows for you to tailor the language to your applications. It also has a flexible runtime environment that allows modification of running programs and debugging (excellent for server-side programming and critical software). It supports multiple paradigms, so you can choose the right approach for your application.