summaryrefslogtreecommitdiff
path: root/development/rust/README
diff options
context:
space:
mode:
Diffstat (limited to 'development/rust/README')
-rw-r--r--development/rust/README13
1 files changed, 5 insertions, 8 deletions
diff --git a/development/rust/README b/development/rust/README
index f50804cae9..7e9c8b996f 100644
--- a/development/rust/README
+++ b/development/rust/README
@@ -1,16 +1,13 @@
-Rust
-
-Rust is a curly-brace, block-structured expression language. It visually resembles the C language family,
-but differs significantly in syntactic and semantic details.
-
-Its design is oriented toward concerns of "programming in the large", that is, of creating and
-maintaining boundaries - both abstract and operational - that preserve large-system integrity,
+Rust is a curly-brace, block-structured expression language.
+It visually resembles the C language family, but differs significantly in syntactic and semantic details.
+Its design is oriented toward concerns of "programming in the large", that is, of creating
+and maintaining boundaries - both abstract and operational - that preserve large-system integrity,
availability and concurrency.
It supports a mixture of imperative procedural, concurrent actor, object-oriented and pure functional styles.
Rust also supports generic programming and metaprogramming, in both static and dynamic styles.
-A short summary of features:
+A short summary of features
Type system: static, nominal, linear, algebraic, locally inferred
Memory safety: no null or dangling pointers, no buffer overflows