Language Center
Assist pages for navigating the ecosystem, theoretical and security landscapes of programming languages.
Languages
-
Erlang
Erlang is a robust language for scalable, fault-tolerant systems, excelling in concurrency and reliability, with a proven track record in WhatsApp and RabbitMQ.
Functional, Compiled, Type-safe, Strong, Dynamic, Structural
Appeared in 1986
-
Elixir
Elixir is a dynamic, functional language built on the Erlang VM, blending Erlang’s power with Ruby-inspired syntax and powerful applications like Phoenix.
Functional, Compiled, Type-safe, Strong, Dynamic, Structural
Appeared in 2012
-
Rust
Rust is a modern systems programming language focused on performance, reliability, and safety with powerful abstractions, a strong type system, and memory safety without a garbage collector
Imperative, Compiled, Type-safe, Strong, Static, Nominal
Appeared in 2012
Theory & Engineering
Language Basics
- – Programming Language en.wikipedia.org
- – Paradigms en.wikipedia.org
- – Syntax en.wikipedia.org
- – Semantics en.wikipedia.org
- – Type Systems en.wikipedia.org
- – Type Safety en.wikipedia.org
- – Data Types en.wikipedia.org
- – Polymorphism en.wikipedia.org
- – Concurrency en.wikipedia.org
- – Exception Handling en.wikipedia.org
- – Multi-paradigm Languages en.wikipedia.org
Notable Runtimes
Selected Articles
- – Driving Compilers fabiensanglard.net