Language

Rust

Paradigms	generic programming, concurrent computing, procedural programming, functional programming, imperative programming, object-oriented programming
Typing discipline	static typing, nominative typing, inference typing, linear typing, strong typing
First appeared	2006
Designed by	Graydon Hoare
Developer	Mozilla, Rust Foundation, Graydon Hoare
Type	programming language
First release	2010
Influenced by	Standard ML, Cyclone, Ruby, Swift, Scheme, Alef, OCaml, C#, C++, Newsqueak, Erlang, Haskell +1
License	Apache Software License 2.0, MIT License
Latest version	1.100.0
File extensions	rs
Website	rust-lang.org
Platforms	Microsoft Windows, MacOS, cross-platform, WebAssembly, Redox, FreeBSD, Linux, IOS, Android
Operating systems	cross-platform

Sources: Wikidata (CC0) · Wikidata Q575650

Operating systems · 15

Operating system	Developer	First release	License
AdiOS	AdiOS	—	proprietary license
Android	Google	—	Apache Software License 2.0, GNU General Public License, version 2.0
Axle OS	—	—	MIT License
Fuchsia	Google	—	Apache License, MIT License, 3-clause BSD License
Meta Horizon OS	Meta Platforms	—	—
Proxmox Backup Server	—	—	GNU Affero General Public License, version 3.0
Proxmox Mail Gateway	—	—	—
Proxmox Virtual Environment	Proxmox Server Solutions GmbH	—	GNU Affero General Public License, version 3.0
R9	—	—	MIT License
Redox	Jeremy Soller	—	MIT License
Robigalia	—	—	—
Theseus	—	—	MIT License
Tock	Brad Campbell, Amit Levy	—	Apache Software License 2.0, MIT License
UX/RT	—	—	—
Xous	Betrusted	—	Apache Software License 2.0

Programming languages · 12

Language	Paradigms	First appeared	Developer
Austral	systems programming	—	—
Ballerina	concurrent computing	2017	WSO2
C#	object-oriented programming, strict programming, functional programming, event-driven programming, reflective programming, generic programming, structured programming, class-based programming, imperative programming, multi-paradigm programming	2001	Microsoft
Carbon	—	2020	Google
Crystal	object-oriented programming, multi-paradigm programming, concurrent computing	2014	Ary Borenzweig, Manas Technology Solutions
Gleam	concurrent computing, functional programming, multi-paradigm programming	2016	—
Mojo	imperative programming, generic programming, functional programming	2023	Modular
Roc	functional programming	—	—
Swift	object-oriented programming, functional programming, declarative programming, multi-paradigm programming, block-structured programming, imperative programming	2014	Chris Lattner, Apple Inc.
V	structured programming, functional programming, imperative programming	2019	—
Whiley	imperative programming, functional programming	2010	—
Zig	imperative programming, functional programming, procedural programming, concurrent computing, generic programming	2015	Andrew Kelley

Programming languages · 4

Language	Paradigms	First appeared	Developer
DBYTE	imperative programming, structured programming	—	—
Gleam	concurrent computing, functional programming, multi-paradigm programming	2016	—
Hale	concurrent computing, structured programming, imperative programming, actor model	2026	—
Nushell	—	2019	—